diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-03-28 17:02:14 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-10 23:47:27 +0200 |
commit | 7699b27c5766473709bc84bc69269a409dfad9a2 (patch) | |
tree | bbed25b1926f371c9097a49f6f04de8fdf81a81f /html-test/src/BugExportHeadings.hs | |
parent | ea63a59882c6d1ecd5e4147d3500d664c9431dd8 (diff) |
doc: Fix option references
(cherry picked from commit f915fb3c74328fb994235bbbd42092a691539197)
Diffstat (limited to 'html-test/src/BugExportHeadings.hs')
0 files changed, 0 insertions, 0 deletions