diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2017-11-20 14:03:43 +0800 |
|---|---|---|
| committer | alexbiehl <alex.biehl@gmail.com> | 2017-11-20 07:52:49 +0100 |
| commit | 37ab915afbb703e23f457fd04db1e0b9e1e409c0 (patch) | |
| tree | d01994fa48a4a0dd1bb618d3b893b8ba905628ab /html-test/ref/mini_Ticket75.html | |
| parent | 134a7bb054ea730b13c8629a76232d73e3ace049 (diff) | |
Declare use of `Paths_haddock` module in other-modules (#705)
This was detected by `-Wmissing-home-modules`
Diffstat (limited to 'html-test/ref/mini_Ticket75.html')
0 files changed, 0 insertions, 0 deletions