summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-02-21Now with a different build output, also add header that might be useful while...juju2143
2020-02-09Revert back to original source URLjuju2143
2020-02-05Forgot other source URLjuju2143
2020-02-05Change source URLjuju2143
2019-09-27Update to r32juju2143
2019-09-20Fix pandocjuju2143
2019-09-20Update for r31juju2143
2019-09-19Add version from gitjuju2143