More work on manual.
authorTim Vaughan <tgvaughan@gmail.com>
Sun, 23 Jun 2019 08:48:12 +0000 (10:48 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Sun, 23 Jun 2019 08:48:12 +0000 (10:48 +0200)
commit9ae74aa670a83eb47f603c5adc96c6bd2ad809eb
treeeecc1ca7c010408febe419c3e92ebf0bdd817d4d
parent71b4b025b5c0450405aae3d342428cfd624ace01
More work on manual.
elpher.texi