diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 18:59:08 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 19:56:11 +0200 |
| commit | 2c603c39a2b1c40431f8f6d9b7b12976311913db (patch) | |
| tree | d8cbbc9f920a74dc6e83973cf29f98ac6e58646f /doc/.gitignore | |
| parent | 34f0794b3ac94a11ccdf97a1435f2b34284e2250 (diff) | |
Revert "doc: Vendorize alabaster Sphinx theme"
This ended up causes far too many issues to be worthwhile. We'll just
have to live with inconsistent haddock documentation.
This reverts commit cec21957001143794e71bcd9420283df18e7de40.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions