Updated texinfo doc.
authorTim Vaughan <tgvaughan@gmail.com>
Wed, 11 Sep 2019 15:21:25 +0000 (17:21 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Wed, 11 Sep 2019 15:21:25 +0000 (17:21 +0200)
commit7433f2d0dcf638bee061e000f5e5bb81db3ded31
tree554aadd4c3ccc93142e61d8e3ff3bb1a4eaa0fe7
parent2980e1ef732a3564acb0ba69ee4c61111451ff78
Updated texinfo doc.
elpher.texi