diff options
| author | krasimir <krasimir@chalmers.se> | 2008-06-23 08:53:09 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-06-23 08:53:09 +0000 |
| commit | f62c70bdd56f27c185ba9237be1ec95cd94bdaca (patch) | |
| tree | ea52d6fc65670a9011b55ba654267e2ceba6cdad /src/GF | |
| parent | 8b47619361d005c734fd54dc423a5d0cc569b80a (diff) | |
the Makefile should generate Paths_gf.hs with GF_DATA_DIR instead of GF_LIB_DIR
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions