summaryrefslogtreecommitdiff
path: root/src/GF/Shell.hs
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2006-03-21 10:49:59 +0000
committerbringert <bringert@cs.chalmers.se>2006-03-21 10:49:59 +0000
commit1b28230449adee6cd9c279fd902f09299d49b5f1 (patch)
tree7caa9a094d4761359c2cf22ba3af5cf5a8182dbc /src/GF/Shell.hs
parent9cb1998948735a986b632888a2c49b6d5aa48bd8 (diff)
Debian package: use install-gf
Diffstat (limited to 'src/GF/Shell.hs')
0 files changed, 0 insertions, 0 deletions