diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-11-05 22:24:57 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-11-05 22:24:57 +0000 |
| commit | 7251f83bb2c5ba94302bf766ecc25cbc1fc6f422 (patch) | |
| tree | 4b90681a3fa345182fbb5008b787a96d558035ed /doc/config.mk.in | |
| parent | e728974d3c7b31252967668c474e5ccbf4c11b5c (diff) | |
Do full compilation of modules -- temporary fix for GHC API problem
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions