From 8963681a3b821e85185877dd61b7804661fc5c24 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 18 May 2004 20:57:13 +0000 Subject: peel head i ; gt nometas ; gf2hs --- 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 7e273025f..b2a5902cc 100644 --- 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" -- cgit v1.2.3