summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-11-12 16:17:04 +0000
committerbringert <bringert@cs.chalmers.se>2007-11-12 16:17:04 +0000
commitca6198dc98693face400d25364d21ae9bedf12df (patch)
tree1a54837b134d5ae82ec65934fcfa4f74c1994e3c /src/GF
parent4500ce63167e6dce38b103090ff4e0849c9dbe45 (diff)
Use configure to produce a gfc script with the correct path to gf3. NOTE: you need to re-run autoconf after pulling this patch.
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions