summaryrefslogtreecommitdiff
path: root/download
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2016-06-16 09:57:28 +0000
committerhallgren <hallgren@chalmers.se>2016-06-16 09:57:28 +0000
commit3f27aeb618a7b7d2c467b18ae7357f18bd84f8a5 (patch)
tree92647254407d2c1eebd51d1b729a48b1b8686ca8 /download
parent14ed164794fe7fb06889514fe448a0f4c9df54f0 (diff)
gf.cabal: don't build pgf-shell any more, it's been superceded by gf -cshell
Diffstat (limited to 'download')
0 files changed, 0 insertions, 0 deletions