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 /html | |
| 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 'html')
| -rw-r--r-- | html/haddock-util.js (renamed from html/haddock.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/html/haddock.js b/html/haddock-util.js index 4280d19c..4280d19c 100644 --- a/html/haddock.js +++ b/html/haddock-util.js |