diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2017-11-20 19:47:34 +0800 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-11-20 12:47:34 +0100 |
| commit | 20f47765f23251a33eab157d80e7c32b7f1d5528 (patch) | |
| tree | 195fbad486f13013fb146d5a360caf35c9491685 /html-test/ref/mini_TitledPicture.html | |
| parent | 37ab915afbb703e23f457fd04db1e0b9e1e409c0 (diff) | |
Drop Paths_haddock from ghc.mk (#707)
With #705 and #706, the custom addition should not be necessary any more.
# Conflicts:
# ghc.mk
Diffstat (limited to 'html-test/ref/mini_TitledPicture.html')
0 files changed, 0 insertions, 0 deletions