aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug1.html
diff options
context:
space:
mode:
authorMoritz Angermann <moritz.angermann@gmail.com>2017-11-20 14:03:43 +0800
committeralexbiehl <alex.biehl@gmail.com>2017-11-20 07:52:49 +0100
commit37ab915afbb703e23f457fd04db1e0b9e1e409c0 (patch)
treed01994fa48a4a0dd1bb618d3b893b8ba905628ab /html-test/ref/Bug1.html
parent134a7bb054ea730b13c8629a76232d73e3ace049 (diff)
Declare use of `Paths_haddock` module in other-modules (#705)
This was detected by `-Wmissing-home-modules`
Diffstat (limited to 'html-test/ref/Bug1.html')
0 files changed, 0 insertions, 0 deletions