summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-11-12 16:18:01 +0000
committerbringert <bringert@cs.chalmers.se>2007-11-12 16:18:01 +0000
commit3ab863c1d45c60b1bb874d934bc67ed1785f12de (patch)
treeeb819b5cf6a9bcfb85f944a04b2032707b0e31e7 /src/GF
parentca6198dc98693face400d25364d21ae9bedf12df (diff)
Added install-gf3 target. Use EXEEXT to get correct gf3 file name on Windows.
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions