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 /doc/index.rst | |
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 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions