diff options
author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-12 10:57:30 +0200 |
---|---|---|
committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-30 22:37:49 +0200 |
commit | 1064953c6590c05303c6cbd2230b9e13d3ba1376 (patch) | |
tree | bf0a1d79839de67ae77812c88732667c49f56a59 /haddock-api/resources/html/Ocean.std-theme/minus.gif | |
parent | c6786894f71809ecfa377a44beab0771a3bc7985 (diff) |
Fix external anchors to contain HTML file extension.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions