More work on manual.
authorTim Vaughan <tgvaughan@gmail.com>
Thu, 20 Jun 2019 22:11:56 +0000 (00:11 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Fri, 21 Jun 2019 21:26:31 +0000 (23:26 +0200)
commitfe79e5cd6a8b8d0f7ef431ce3294b85a5f9f617e
tree97482bc89cb88cc05819f8994dbb75f797176d4a
parentba4c61bb10efe2e751419010e4eb4d6c5e7fa1ee
More work on manual.
elpher.texi