tidying
authorJeremy Harris <jgh146exb@wizmail.org>
Mon, 7 Sep 2020 18:56:49 +0000 (19:56 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sat, 3 Oct 2020 23:14:30 +0000 (00:14 +0100)
commitdcc5e2cbb4a253eea54c12320e54fb5d85d64e5f
tree6a323de56a7db435de24d9f8c6210354a37bc7b0
parentf820e85a419deb5c7ed3c8f1abe400436b2d6122
tidying
doc/doc-txt/ChangeLog
src/src/verify.c