summaryrefslogtreecommitdiff
path: root/examples/godis-tram/Common/GodisSystemEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-11-08 15:14:47 +0000
committeraarne <aarne@cs.chalmers.se>2006-11-08 15:14:47 +0000
commit2fc97fa6fa30ac5dc031a588d26399fd38f42d9b (patch)
treee3e550d6df056c6b39fb540e2991a01b8d83e56c /examples/godis-tram/Common/GodisSystemEng.gf
parentc94d5a5f1e4a7e254d0ede33328e958250071c0c (diff)
took away godis_tram from darcs
Diffstat (limited to 'examples/godis-tram/Common/GodisSystemEng.gf')
-rw-r--r--examples/godis-tram/Common/GodisSystemEng.gf4
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/godis-tram/Common/GodisSystemEng.gf b/examples/godis-tram/Common/GodisSystemEng.gf
deleted file mode 100644
index c30c3c579..000000000
--- a/examples/godis-tram/Common/GodisSystemEng.gf
+++ /dev/null
@@ -1,4 +0,0 @@
---# -path=.:prelude:resource-1.0/abstract:resource-1.0/common:resource-1.0/english
-
-concrete GodisSystemEng of GodisSystem = GodisSystemI with
- (Grammar=GrammarEng), (Extra=ExtraEng), (GodisLang=GodisLangEng);