diff options
| author | Chris Martin <ch.martin@gmail.com> | 2018-09-15 18:32:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-15 18:32:58 -0400 |
| commit | b2cc2a24247e043fb8addd7237cd04b268253e33 (patch) | |
| tree | 92c085ac9cc2ae97dbc8fa288c37cf803013db68 /tools | |
| parent | 6bd8037b8dc3a6e9d820d412d23fff99ec0c21a6 (diff) | |
| download | pandoc-b2cc2a24247e043fb8addd7237cd04b268253e33.tar.gz | |
Fix haddock on 'Ext_footnotes'
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions