summaryrefslogtreecommitdiffhomepage
path: root/docs/.gitmodules
AgeCommit message (Expand)Author
2017-08-10Merge commit 'ec4e6f9df2ab9ffdc62a3f59675369096e0d3f77' as 'docs'Bjørn Erik Pedersen
2017-08-10docs: Re-integrateBjørn Erik Pedersen
2017-07-18Merge commit '6dbde8d731f221b027c0c60b772ba82dad759943'Bjørn Erik Pedersen