Commit graph

3 commits

Author SHA1 Message Date
Bjørn Erik Pedersen 73273d4e81 Add the docs theme to .gitmodules
See #3713
2017-07-18 10:44:02 +02:00
Bjørn Erik Pedersen 31393f6024 Remove the docs submodule
Will be replaced by a Git subtree.

See #3647
2017-06-26 20:45:04 +02:00
Bjørn Erik Pedersen 6cee0dfe53 Add docs as submodule 2017-06-14 10:35:24 +02:00