diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-09 17:23:11 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-22 13:41:17 +0000 |
| commit | 02803910c1d040222f0bfc5b62411119c443f3a1 (patch) | |
| tree | 8855f03286be57611ca3fd8a594b4e7b2258c6c9 /resources/html/Ocean.std-theme | |
| parent | b02188ab1cc46dd82395a22b04f890cf15f3feae (diff) | |
Minimum changes needed for compilation with hi-haddock
With hi-haddock, of course there is a much large refactoring of haddock
which could be achieved but that is left for a future patch which can
implemented at any time independently of GHC.
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions