Remove the theme submodule from /docs

See #3791
This commit is contained in:
Bjørn Erik Pedersen
2017-08-10 14:35:21 +02:00
parent 0f9f73cce5
commit ea2cc26b39
2 changed files with 0 additions and 4 deletions