* etc/tutorials/TUTORIAL.he: Update to match recent changes to TUTORIAL.
commit8a406d1185b6c87f6647c141a1cc06786cd9480d
authorEli Zaretskii <eliz@gnu.org>
Sun, 6 Aug 2017 19:02:08 +0000 (6 22:02 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sun, 6 Aug 2017 19:02:08 +0000 (6 22:02 +0300)
tree7635090061ae6e83f837518217734dadf5ab89c6
parentc2a8cffe8044cc38c4cf1b5c3d1c9571ddeec623
* etc/tutorials/TUTORIAL.he: Update to match recent changes to TUTORIAL.
etc/tutorials/TUTORIAL.he