peel head i ; gt nometas ; gf2hs

2026-05-21 17:12:50 -06:00 · 2004-05-18 20:57:13 +00:00
parent 086733a6fe
commit 8963681a3b
14 changed files with 208 additions and 35 deletions
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -140,6 +140,7 @@ tableLin    = iOpt "table"
 defaultLinOpts = [firstLin]
 useUTF8     = iOpt "utf8"
 showLang    = iOpt "lang"
+noMetas     = iOpt "nometas"

 -- other
 beVerbose    = iOpt "v"