diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-04-20 10:46:57 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-20 10:46:57 +0200 |
commit | 5c82c9fc2d21ddaae4a2470f1c375426968f19c6 (patch) | |
tree | 0d11acce4d0846fcda7fd66f1e7b3f9443a1d053 /haddock-api/resources/html/Ocean.std-theme/synopsis.png | |
parent | a77728cc274751e8b8077b3ccc8aacc7d00bf36d (diff) |
ghc: Install files for needed --hyperlinked-source
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions