diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-23 23:21:17 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-23 23:21:17 +0000 |
| commit | 18c8ff357978f7fd050751baaae62d36025374c0 (patch) | |
| tree | 926163fecf36091e40e006d34763afa0f2d356fa /gf.cabal | |
| parent | bdaf7a8772d7ea703fa0e3144f0ee3a8914933a0 (diff) | |
gf -server + gfse: show modification time of public grammars
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -112,6 +112,7 @@ executable gf directory, random, old-time, + old-locale, process, pretty, mtl, |
