4 Commits

Author	SHA1	Message	Date
Bjørn Erik Pedersen	ea2cc26b39	Remove the theme submodule from /docs ... See #3791	2017-08-10 14:54:19 +02:00
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