summaryrefslogtreecommitdiffstats
path: root/docs/.github
AgeCommit message (Expand)Author
2020-06-16Merge commit 'efa74c5c6e6ff1daddeb5834ea7c69bed2acf171'Bjørn Erik Pedersen
2020-03-31Merge commit 'c494c37a4523fbf2db6274dc87e0877fd5bec24b'Bjørn Erik Pedersen
2020-01-05Merge commit '26f1458a2df6b55eee3a5de46f5fec23a43a7c7d'Bjørn Erik Pedersen
2019-12-22Merge commit '8a4005cf2b0ef34265ff8051a6b76226685fc226'Bjørn Erik Pedersen
2019-10-21Merge commit 'b9bd35d72e14932fb6588ff62b90cddef0a060fc' as 'docs'Bjørn Erik Pedersen
2019-10-21docs: Replace /docsBjørn Erik Pedersen
2019-02-01Merge commit '5e078383a787e8b5ec3ba73f05ea4130840afbe2'Bjørn Erik Pedersen
2018-12-12Merge commit 'eb16165694f868d73e57b6aed5c26ba5e98229de'Bjørn Erik Pedersen
2017-06-26Remove the docs submoduleBjørn Erik Pedersen
2017-06-21docs: UpdateBjørn Erik Pedersen
2017-06-21Update docsBjørn Erik Pedersen
2017-06-21Update docsBjørn Erik Pedersen
2017-06-21releaser: Prepare repository for 0.25-DEVBjørn Erik Pedersen
2017-06-21releaser: Update /docs to 0.24 [ci skip]v0.24Bjørn Erik Pedersen
2017-06-21releaser: Bump versions for release of 0.24Bjørn Erik Pedersen
2017-06-21releaser: Update /docs [ci skip]Bjørn Erik Pedersen
2017-06-16releaser: Prepare repository for 0.24-DEVBjørn Erik Pedersen
2017-06-16releaser: Update /docs to 0.23 [ci skip]v0.23Bjørn Erik Pedersen
2017-06-16releaser: Bump versions for release of 0.23Bjørn Erik Pedersen
2017-06-16releaser: Update /docs [ci skip]Bjørn Erik Pedersen
2017-06-14Add docs as submoduleBjørn Erik Pedersen