diff --git a/extra/peg/ebnf/tags.txt b/extra/peg/ebnf/tags.txt new file mode 100644 index 0000000000..9da56880c0 --- /dev/null +++ b/extra/peg/ebnf/tags.txt @@ -0,0 +1 @@ +parsing diff --git a/extra/peg/pl0/tags.txt b/extra/peg/pl0/tags.txt new file mode 100644 index 0000000000..9da56880c0 --- /dev/null +++ b/extra/peg/pl0/tags.txt @@ -0,0 +1 @@ +parsing diff --git a/extra/peg/tags.txt b/extra/peg/tags.txt new file mode 100644 index 0000000000..9da56880c0 --- /dev/null +++ b/extra/peg/tags.txt @@ -0,0 +1 @@ +parsing