Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-12-22 | Merge commit '8a4005cf2b0ef34265ff8051a6b76226685fc226' | Bjørn Erik Pedersen | |
2017-06-26 | Remove the docs submodule | Bjørn Erik Pedersen | |
Will be replaced by a Git subtree. See #3647 | |||
2017-06-21 | docs: Update | Bjørn Erik Pedersen | |
2017-06-21 | Update docs | Bjørn Erik Pedersen | |
2017-06-21 | Update docs | Bjørn Erik Pedersen | |
2017-06-21 | releaser: Prepare repository for 0.25-DEV | Bjørn Erik Pedersen | |
[ci skip] | |||
2017-06-21 | releaser: Update /docs to 0.24 [ci skip]v0.24 | Bjørn Erik Pedersen | |
2017-06-21 | releaser: Bump versions for release of 0.24 | Bjørn Erik Pedersen | |
[ci skip] | |||
2017-06-21 | releaser: Update /docs [ci skip] | Bjørn Erik Pedersen | |
2017-06-16 | releaser: Prepare repository for 0.24-DEV | Bjørn Erik Pedersen | |
[ci skip] | |||
2017-06-16 | releaser: Update /docs to 0.23 [ci skip]v0.23 | Bjørn Erik Pedersen | |
2017-06-16 | releaser: Bump versions for release of 0.23 | Bjørn Erik Pedersen | |
[ci skip] | |||
2017-06-16 | releaser: Update /docs [ci skip] | Bjørn Erik Pedersen | |
2017-06-14 | Add docs as submodule | Bjørn Erik Pedersen | |