Tiny change to manual.
authorTim Vaughan <tgvaughan@gmail.com>
Fri, 1 Nov 2019 10:23:52 +0000 (11:23 +0100)
committerTim Vaughan <tgvaughan@gmail.com>
Fri, 1 Nov 2019 10:23:52 +0000 (11:23 +0100)
commitee2adb8d07ff410da8d43ae4aebee1f70460c3b9
tree41377f20c7d7c3eab1039642f0e4273d3ee88d8e
parent1d6fca7dc2254ac37d4f2984823e5b887f8bde56
Tiny change to manual.
elpher.texi