aboutsummaryrefslogtreecommitdiff
path: root/haddock-api
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-03-28 17:02:14 +0200
committerBen Gamari <ben@smart-cactus.org>2016-04-10 23:40:15 +0200
commitccb14e9cae57a356d86a7ac1ac800fcf0f3ea6e1 (patch)
tree4b6b52933e7dc2eb27ad730c8c097654c33ee68e /haddock-api
parent3ddcbd6b8e6884bd95028381176eb33bee6896fb (diff)
doc: Fix option references
(cherry picked from commit f915fb3c74328fb994235bbbd42092a691539197)
Diffstat (limited to 'haddock-api')
0 files changed, 0 insertions, 0 deletions