diff options
| author | Patrick Simianer <p@simianer.de> | 2014-08-16 21:25:52 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-08-16 21:25:52 +0100 |
| commit | 9a0859212de4d1304f9392fe910921227421c8c3 (patch) | |
| tree | 1b1276312c83415d7d7d3838ce0347441b71951a /data/cdec.ini | |
| parent | 3ba77e3474e39d7970784812f6851a726572f7c7 (diff) | |
cleanup
Diffstat (limited to 'data/cdec.ini')
| -rw-r--r-- | data/cdec.ini | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/data/cdec.ini b/data/cdec.ini deleted file mode 100644 index ddbe54c..0000000 --- a/data/cdec.ini +++ /dev/null @@ -1,4 +0,0 @@ -formalism=scfg -intersection_strategy=full -add_pass_through_rules=true - |