diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-11-05 22:25:50 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-11-05 22:25:50 +0000 |
| commit | b7b6aee89676d16ac620f0752900a3dbb74e5843 (patch) | |
| tree | 6f943623fd578f50a6c4e1ba48d8ec87a617f1cd /src/haddock.sh | |
| parent | 7251f83bb2c5ba94302bf766ecc25cbc1fc6f422 (diff) | |
Don't warn about not being able to link to wired/system/builtin-names
Diffstat (limited to 'src/haddock.sh')
0 files changed, 0 insertions, 0 deletions