More work on manual.
authorTim Vaughan <tgvaughan@gmail.com>
Fri, 21 Jun 2019 08:08:31 +0000 (10:08 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Fri, 21 Jun 2019 21:26:31 +0000 (23:26 +0200)
commitc9ef766d6797cc27c6375011cab84ffd6e502ae8
treee5bd7f670eab8fa6a64d83e31e4a772c451a443a
parentd65012cfc1ec8379c6ad46935d5caa9e822315ef
More work on manual.
elpher.texi