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 /.gitmodules | |
| 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 '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index ac3559da..00000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "doc/alabaster"] - path = doc/alabaster - url = git://github.com/bitprophet/alabaster.git |