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)

No differences found