diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 2 | ||||
| -rw-r--r-- | src/Today.hs | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index daaa7c997..7ab28b34e 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -177,10 +177,8 @@ customGrammarPrinter = -- add your own grammar printers here -- grammar conversions, (peb) ,(strCI "gfc_show", show . grammar2canon . stateGrammarST) - ,(strCI "emcfg", Prt.prt . Cnv.emcfg . statePInfo) ,(strCI "mcfg", Prt.prt . Cnv.mcfg . statePInfo) ,(strCI "cfg", Prt.prt . Cnv.cfg . statePInfo) - ,(strCI "emcfg_show", show . Cnv.emcfg . statePInfo) ,(strCI "mcfg_show", show . Cnv.mcfg . statePInfo) ,(strCI "cfg_show", show . Cnv.cfg . statePInfo) --- also include printing via grammar2syntax! diff --git a/src/Today.hs b/src/Today.hs deleted file mode 100644 index d6f0b1cbb..000000000 --- a/src/Today.hs +++ /dev/null @@ -1 +0,0 @@ -module Today where today = "Tue Jun 15 16:37:14 CEST 2004" |