summaryrefslogtreecommitdiff
path: root/old-lib/resource/demo/ClauseEng.gf
diff options
context:
space:
mode:
Diffstat (limited to 'old-lib/resource/demo/ClauseEng.gf')
-rw-r--r--old-lib/resource/demo/ClauseEng.gf1
1 files changed, 0 insertions, 1 deletions
diff --git a/old-lib/resource/demo/ClauseEng.gf b/old-lib/resource/demo/ClauseEng.gf
deleted file mode 100644
index 5f98c97ae..000000000
--- a/old-lib/resource/demo/ClauseEng.gf
+++ /dev/null
@@ -1 +0,0 @@
-concrete ClauseEng of Clause = CatEng ** ClauseI with (Grammar = GrammarEng) ;