aboutsummaryrefslogtreecommitdiff
path: root/docs/reference
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-02-08 09:30:00 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2018-02-08 09:30:00 +0100
commita767013f407f7495492af6a1ceba4cf2b8aae839 (patch)
treeda725bb75548e1f044c932d0d909d4300dfe2188 /docs/reference
parent9cb1cebc1dcb85b1474b560210bf3939c0dc8da0 (diff)
Update README.html with new badge
I had to upgrade pandoc to 1.19.2.4 from Debian testing to work around a bug in the downloading code/library. The idea of upgrading pandoc was from https://github.com/jgm/pandoc/issues/3936
Diffstat (limited to 'docs/reference')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint