diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-05-02 20:29:56 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-05-03 07:37:51 +0200 |
| commit | 64bf1091258477f505bf07939007440f86d33254 (patch) | |
| tree | 42b35668daadc21655b4f54753aed9b12a710a46 /Jenkinsfile | |
| parent | 6fca8dc89c370c7bc0318be956780c5b9f4096d6 (diff) | |
MarkdownConverter: Enable FootnoteExtension.
Change-Id: I6c7018edfd4e41e54390c397a3ba675d30ccabc6
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions