diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-05-31 19:41:05 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-05-31 19:41:05 +0000 |
| commit | 0e484f094fef8abbe141286457768b197686715f (patch) | |
| tree | fc9658495aa33680d5c1618805f83a24d6e7fcbe /src/GF/Shell/ShellCommands.hs | |
| parent | c51846361f18d372542f69e4bb281ef834750312 (diff) | |
Disable special treatment of lists in SRGS+SISR generation, since OptimTalk can't handle it.
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
0 files changed, 0 insertions, 0 deletions