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