diff options
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 - |