diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-11-08 01:45:13 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-11-08 01:45:13 +0000 |
| commit | 6b31cd2c50be41cb3b7e3f85f6b0485dcbcae9f3 (patch) | |
| tree | ec095e5ee5af254d8fc9e13b9e1e37d025694ccc /src/haddock.sh | |
| parent | f2c7dd08b7c38462db80fc23cc7a8afa437e074e (diff) | |
Synch loading of names from .haddock files with GHC's name cache
Diffstat (limited to 'src/haddock.sh')
0 files changed, 0 insertions, 0 deletions