Remove the docs submodule

Will be replaced by a Git subtree.

See #3647
This commit is contained in:
Bjørn Erik Pedersen
2017-06-26 20:39:53 +02:00
parent aff1ac3235
commit 31393f6024
2 changed files with 0 additions and 5 deletions

1
docs

Submodule docs deleted from 25e6855c28