diff options
Diffstat (limited to 'examples/wiki/RestaurantFre.gf')
| -rw-r--r-- | examples/wiki/RestaurantFre.gf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/examples/wiki/RestaurantFre.gf b/examples/wiki/RestaurantFre.gf deleted file mode 100644 index 7ae6b1bad..000000000 --- a/examples/wiki/RestaurantFre.gf +++ /dev/null @@ -1,8 +0,0 @@ - ---# -path=.:alltenses:prelude - -concrete RestaurantFre of Restaurant = RestaurantI with - - (Syntax = SyntaxFre), - (Grammar = GrammarFre), - (LexRestaurant = LexRestaurantFre) ; |