Minor formatting.
authorGary Gregory <gardgregory@gmail.com>
Tue, 23 Jul 2019 18:37:17 +0000 (14:37 -0400)
committerGary Gregory <gardgregory@gmail.com>
Tue, 23 Jul 2019 18:37:17 +0000 (14:37 -0400)
commit67e853b3472a4a13b63b14407574768babbdf243
treef06ccff99024477b8808f2070310cd483c0561da
parent031ab63d7a34ebb20043db5ef824ce1cdf870aa4
Minor formatting.
src/site/xdoc/all.xml