diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookEng.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookEng.gf | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/examples/phrasebook/PhrasebookEng.gf b/examples/phrasebook/PhrasebookEng.gf deleted file mode 100644 index ab4f05d0d..000000000 --- a/examples/phrasebook/PhrasebookEng.gf +++ /dev/null @@ -1,12 +0,0 @@ ---# -path=.:present - -concrete PhrasebookEng of Phrasebook = - GreetingsEng, - WordsEng ** open - SyntaxEng, - Prelude in { - -flags - language = en_US ; - -} |
