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 /haddock-api/resources/html/Ocean.std-theme | |
| parent | ea63a59882c6d1ecd5e4147d3500d664c9431dd8 (diff) | |
doc: Fix option references
(cherry picked from commit f915fb3c74328fb994235bbbd42092a691539197)
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions