Docs: tidying
authorJeremy Harris <jgh146exb@wizmail.org>
Mon, 12 Jun 2023 19:53:15 +0000 (20:53 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Mon, 24 Jul 2023 14:05:17 +0000 (15:05 +0100)
commit98820cd6053797a63f8daddd56c67ea6d8c13d46
tree1f7d8d91938c4f6f768b54bc0c5ba63641ab1245
parent8e9770348dc4173ab83657ee023c22f479ebb712
Docs: tidying
doc/doc-docbook/spec.xfpt
doc/doc-txt/ChangeLog