diff options
| author | davve <davve@dtek.chalmers.se> | 2006-08-19 20:07:55 +0000 |
|---|---|---|
| committer | davve <davve@dtek.chalmers.se> | 2006-08-19 20:07:55 +0000 |
| commit | a7d3efef2e17273fb28a3d711d00843c1c875a17 (patch) | |
| tree | c441da71c6e5cf4fb12e0303f204d3e7759e3494 /doc/README | |
| parent | 7ef7e7beb6e79166dec2f31cfbd16f7170066a6b (diff) | |
Adapt to latest GHC
Diffstat (limited to 'doc/README')
0 files changed, 0 insertions, 0 deletions