From b655d4c759cc577b12e0b02c01f19ec75692db81 Mon Sep 17 00:00:00 2001 From: Chris Double Date: Thu, 20 Dec 2007 17:11:37 +1300 Subject: [PATCH] Add tags to peg, peg.ebnf and peg.pl0 --- extra/peg/ebnf/tags.txt | 1 + extra/peg/pl0/tags.txt | 1 + extra/peg/tags.txt | 1 + 3 files changed, 3 insertions(+) create mode 100644 extra/peg/ebnf/tags.txt create mode 100644 extra/peg/pl0/tags.txt create mode 100644 extra/peg/tags.txt 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