diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-02-14 15:51:36 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-02-14 15:51:36 -0800 |
| commit | b7b85536c20a4f57030a54f7ca44764e85082b35 (patch) | |
| tree | ce292c3bb4d3b4177e78795250e59d4c04654557 /tools | |
| parent | e84384dc4a0b28ecb90ab997fe5138817bf6b013 (diff) | |
Added comment on sourcepos attribute format in dtd.
Closes #298.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions