diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-16 15:21:00 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-16 15:21:00 +0000 |
| commit | 5a641ebe730662c5c439521a1caddcc8a3125399 (patch) | |
| tree | 57e2c7aefa0213a14b955a22a8ae2dd2b184764a /src/programs | |
| parent | 2e2e7acf12c1b84eb1d4f0ac28d120a4d0c4a1c4 (diff) | |
Rename src/programs/gf.hs to gf-main.hs to avoid confusing GHC
It appears that GHC can't keep GF.hs and gf.hs apart on systems with case
insensitive file names.
Diffstat (limited to 'src/programs')
| -rw-r--r-- | src/programs/gf-main.hs (renamed from src/programs/gf.hs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/programs/gf.hs b/src/programs/gf-main.hs index 1dae54bc7..1dae54bc7 100644 --- a/src/programs/gf.hs +++ b/src/programs/gf-main.hs |