summaryrefslogtreecommitdiff
path: root/gf.cabal
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-11-23 23:21:17 +0000
committerhallgren <hallgren@chalmers.se>2012-11-23 23:21:17 +0000
commit18c8ff357978f7fd050751baaae62d36025374c0 (patch)
tree926163fecf36091e40e006d34763afa0f2d356fa /gf.cabal
parentbdaf7a8772d7ea703fa0e3144f0ee3a8914933a0 (diff)
gf -server + gfse: show modification time of public grammars
Diffstat (limited to 'gf.cabal')
-rw-r--r--gf.cabal1
1 files changed, 1 insertions, 0 deletions
diff --git a/gf.cabal b/gf.cabal
index 49d7d734a..2044f9b50 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -112,6 +112,7 @@ executable gf
directory,
random,
old-time,
+ old-locale,
process,
pretty,
mtl,