diff options
| author | Michael Williamson <mike@zwobble.org> | 2014-08-30 10:54:02 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2014-08-30 10:54:45 +0100 |
| commit | 32d35f2fcdd85f65ea38eb16b772de503f8d4107 (patch) | |
| tree | 9818c4727b277e52e64641867205930bf0df4b1e /scripts/mammoth | |
| parent | 7d5045309a7100dfd2404f0bcdf73d27f4883ab1 (diff) | |
Ignore separators in footnotes XML
Diffstat (limited to 'scripts/mammoth')
0 files changed, 0 insertions, 0 deletions