aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitmodules
AgeCommit message (Collapse)Author
2017-08-10Remove the theme submodule from /docsBjørn Erik Pedersen
See #3791
2017-07-18Add the docs theme to .gitmodulesBjørn Erik Pedersen
See #3713
2017-06-26Remove the docs submoduleBjørn Erik Pedersen
Will be replaced by a Git subtree. See #3647
2017-06-14Add docs as submoduleBjørn Erik Pedersen