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/Extract.mmkin.html | |
| 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/Extract.mmkin.html')
0 files changed, 0 insertions, 0 deletions