From 7a44450b34f80b156b8d663d3310e33aa7519910 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 14:57:51 +0000 Subject: Lin to tables. Lin to tables. New unicode flag. --- src/GF/Infra/Option.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Infra') 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" -- cgit v1.2.3