diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-12-05 16:11:33 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-12-05 16:11:33 +0100 |
| commit | b73f033b08113bf4c98beb1a4062a1aa9de5026a (patch) | |
| tree | e8fc8cdc13d18bf88b7864046bc51d18cdb2b301 /stack-ghc8.2.2.yaml | |
| parent | b974c099511a90d41dd234e3bbeccdcc57b38606 (diff) | |
Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc
Diffstat (limited to 'stack-ghc8.2.2.yaml')
0 files changed, 0 insertions, 0 deletions