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/alabaster | |
| 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/alabaster')
| m--------- | doc/alabaster | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/alabaster b/doc/alabaster deleted file mode 160000 -Subproject aabda1182083d21b6d9bafb53ea8a99eb4be4cf |