diff options
| author | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
| commit | 7a44450b34f80b156b8d663d3310e33aa7519910 (patch) | |
| tree | 155a6c5163c0076e4c6e1ed4ba5fdc2898deced5 /src/GF/Infra | |
| parent | c84ce99de2e9a17e2413f2f81cae0088170cc3b9 (diff) | |
Lin to tables.
Lin to tables.
New unicode flag.
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 100ded735..e28d18fcd 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -191,6 +191,7 @@ typeDisplay = aOpt "types" noDepTypes = aOpt "nodeptypes" extractGr = aOpt "extract" pathList = aOpt "path" +uniCoding = aOpt "coding" markLin = aOpt "mark" markOptXML = oArg "xml" |