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/cdec.ini | |
| parent | 8949948243cb709e65ec172b3014c9e6a3181ed3 (diff) | |
example
Diffstat (limited to 'example/cdec.ini')
| -rw-r--r-- | example/cdec.ini | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/example/cdec.ini b/example/cdec.ini deleted file mode 100644 index 6bf59e9..0000000 --- a/example/cdec.ini +++ /dev/null @@ -1,4 +0,0 @@ -formalism=scfg -add_pass_through_rules=true -intersection_strategy=full -scfg_max_span_limit=999999999 |