summaryrefslogtreecommitdiff
path: root/langdefs
diff options
context:
space:
mode:
authorBenjamin J. Culkin <bjculkin@mix.wvu.edu>2019-08-28 19:51:53 -0300
committerBenjamin J. Culkin <bjculkin@mix.wvu.edu>2019-08-28 19:51:53 -0300
commit1389628ecbf0a23da11f2c4910b4bf9de15d15d6 (patch)
tree17d9019cc34df5b1eee427db1388f7276057f61e /langdefs
parentdd4982d359577b5b64a3c785561eeca90080ea16 (diff)
parent1914335b9505b0086a0aeed0997c566e0e5ceca3 (diff)
Merge cleanup
Diffstat (limited to 'langdefs')
-rw-r--r--langdefs15
1 files changed, 15 insertions, 0 deletions
diff --git a/langdefs b/langdefs
new file mode 100644
index 0000000..0f91699
--- /dev/null
+++ b/langdefs
@@ -0,0 +1,15 @@
+RGens Grammar Definitions
+ filter remove_matches ^\s*#
+ filter remove_inline #.*$
+ extension gram
+ 3rd_gen_scale 3.0
+RGens Grammar Templates
+ filter remove_matches ^\s*#
+ filter remove_inline #.*$
+ extension gtpl
+ 3rd_gen_scale 3.0
+RGens Grammar Set definitions
+ filter remove_matches ^\s*#
+ filter remove_inline #.*$
+ extension gcfg
+ 3rd_gen_scale 3.0