diff options
author | 2018-04-24 19:20:21 +0200 | |
---|---|---|
committer | 2018-04-24 19:23:02 +0200 | |
commit | 131e65ee5e2327344f8066103c289a7b50a13549 (patch) | |
tree | 7f1c6823b25815293b4d0fbd4470d3faf2ea7d9b /docs/release/scripts/src | |
parent | 0cdfe25938b8efbff692a3c09b8f526d6121d984 (diff) |
listxml: Fix the DTD [O. Galibert]
Whether the elements should be defined in order of appearance is
unclear, and I haven't found the ISO 8879:1986 standard that's
supposed to define it. Anyway, a java xml parser crashes because of
that, and it doesn't hurt to change the order.
Diffstat (limited to 'docs/release/scripts/src')
0 files changed, 0 insertions, 0 deletions