Tiny texinfo edit.
authorTim Vaughan <tgvaughan@gmail.com>
Sat, 14 Sep 2019 22:24:39 +0000 (00:24 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Sat, 14 Sep 2019 22:24:39 +0000 (00:24 +0200)
commit021bacb32d0eb7a797c289097f3d348c0665e0bc
tree9cc65db520bc1dd4a843f97e89908f14034fbaa4
parentd96f3d24cd4a77e7c7d154a0df1b9e1e54a2a6e9
Tiny texinfo edit.
elpher.texi