Docs: lose extra quotes
authorJeremy Harris <jgh146exb@wizmail.org>
Thu, 17 Nov 2022 18:56:34 +0000 (18:56 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Thu, 17 Nov 2022 18:56:34 +0000 (18:56 +0000)
commit6d38582bcea0a891244cf24b0b39d5bb310464e9
treee7049b65cb342eaef7abbabc912654c82705f350
parentdae16fc62c042f1c300db82ec1fc0d95cb8d66d3
Docs: lose extra quotes
doc/doc-docbook/spec.xfpt