Phillip Webb b6e3f48a89 Delete old appendix file ...

Delete file accidentally added during merge.

See gh-18007

2019-08-29 23:25:09 -07:00

..

src

Delete old appendix file

2019-08-29 23:25:09 -07:00

pom.xml

Tighten up sourceDocumentExtensions used for single and multi-page docs

2019-07-19 14:55:10 +01:00