diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-17 12:30:19 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-17 12:30:19 +0000 |
| commit | 327d0a6a4a634b74f46c9395040fdc2945a629cf (patch) | |
| tree | 53b61798745cbd49d8dd9b9a002b8bbae8ed658a | |
| parent | d13b32ea48d255c71670321c9b8d0d611afe0a17 (diff) | |
Remove "srgs" output format name, use "srgs_xml" instead.
| -rw-r--r-- | src-3.0/GF/Infra/Option.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src-3.0/GF/Infra/Option.hs b/src-3.0/GF/Infra/Option.hs index cd695485b..44d4adfa5 100644 --- a/src-3.0/GF/Infra/Option.hs +++ b/src-3.0/GF/Infra/Option.hs @@ -442,7 +442,6 @@ outputFormats = ("haskell", FmtHaskell), ("haskell_gadt", FmtHaskell_GADT), ("bnf", FmtBNF), - ("srgs", FmtSRGS_XML), ("srgs_xml", FmtSRGS_XML), ("srgs_abnf", FmtSRGS_ABNF), ("jsgf", FmtJSGF), |