diff options
| author | Patrick Simianer <p@simianer.de> | 2014-09-20 16:26:28 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-09-20 16:26:28 +0100 |
| commit | b38cea6008d0fc5fc484df1bbe3f952aea61cf2d (patch) | |
| tree | 9310ac75c42891246f8b60d56805d133672597f2 /example/toy/cdec.ini | |
| parent | 8949948243cb709e65ec172b3014c9e6a3181ed3 (diff) | |
example
Diffstat (limited to 'example/toy/cdec.ini')
| -rw-r--r-- | example/toy/cdec.ini | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/example/toy/cdec.ini b/example/toy/cdec.ini deleted file mode 100644 index f12de54..0000000 --- a/example/toy/cdec.ini +++ /dev/null @@ -1,5 +0,0 @@ -formalism=scfg -intersection_strategy=full -grammar=grammar -#grammar=grammar-test -#add_pass_through_rules=true |