Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-07-29 | Merge commit '87de22d7464e239c775fbd48ebce1665d5b1e80d' | Bjørn Erik Pedersen | |
2020-06-16 | Merge commit 'efa74c5c6e6ff1daddeb5834ea7c69bed2acf171' | 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 | |