diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2006-10-11 14:17:37 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2006-10-11 14:17:37 +0000 |
| commit | 5403a5af081b01916e1d94403f608051c377ee7f (patch) | |
| tree | 7d8cc4a7f3acff9955f7b8a2fcaf745133aec615 /doc/fptools.css | |
| parent | e397ffd7c92eb81eb943d9843a8733014abdbbf7 (diff) | |
Rename haddock.js to haddock-util.js
haddock.js will be run automatically by Windows when you type
'haddock' if it is found on the PATH, so rename to avoid confusion.
Spotted by Adrian Hey.
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions