diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-05-08 04:00:18 +0200 |
---|---|---|
committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:39:30 +0200 |
commit | 00c401b965e1468aee71caa4cffd049cadd515d8 (patch) | |
tree | c5f1645f02831a96646499e0e45476488cb50ecb /haddock-api/resources/html/Classic.theme/minus.gif | |
parent | 52405584f978c8d1afd6439b3ac0e3fd0f9b825e (diff) |
Add docs for some DocH constructors (#814)
Diffstat (limited to 'haddock-api/resources/html/Classic.theme/minus.gif')
0 files changed, 0 insertions, 0 deletions