diff options
Diffstat (limited to 'examples/phrasebook/src/mkThai.gfs')
| -rw-r--r-- | examples/phrasebook/src/mkThai.gfs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/phrasebook/src/mkThai.gfs b/examples/phrasebook/src/mkThai.gfs deleted file mode 100644 index f375fe586..000000000 --- a/examples/phrasebook/src/mkThai.gfs +++ /dev/null @@ -1,2 +0,0 @@ -rf -file=src/GreetingsTha.gf | ps -env=quotes -to_thai | wf -file=GreetingsTha.gf -rf -file=src/WordsTha.gf | ps -env=quotes -to_thai | wf -file=WordsTha.gf |