Docs: tweaks
authorJeremy Harris <jgh146exb@wizmail.org>
Thu, 20 Dec 2018 17:48:52 +0000 (17:48 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Thu, 20 Dec 2018 17:48:52 +0000 (17:48 +0000)
commitaa6e77afb5ba7df42fcff06cac744b1f4a4105d2
tree017f3a070082efc487d80b68a5e21b6a60717e1a
parent75fc378208b50ee13004bb62c60f1fbd6f623ec1
Docs: tweaks
doc/doc-docbook/spec.xfpt
doc/doc-txt/ChangeLog
src/src/configure.default