Docs: crossref list-separator changing
authorJeremy Harris <jgh146exb@wizmail.org>
Thu, 24 Jan 2019 21:35:22 +0000 (21:35 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Thu, 24 Jan 2019 22:03:01 +0000 (22:03 +0000)
commit9973c745f74341d8ffddabac4b05ade9be2f4310
treedad770e53afc6551d90e87af0b0cacecf5752132
parent7261937efbfb1d83ee77245895245d11b43b66c8
Docs: crossref list-separator changing
doc/doc-docbook/spec.xfpt