diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2018-02-08 09:30:00 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-02-08 09:30:00 +0100 |
commit | a767013f407f7495492af6a1ceba4cf2b8aae839 (patch) | |
tree | da725bb75548e1f044c932d0d909d4300dfe2188 /docs/reference | |
parent | 9cb1cebc1dcb85b1474b560210bf3939c0dc8da0 (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