Update EDITION, UPDATED, and regenerate detailed menu.
authorChris Hanson <org/chris-hanson/cph>
Thu, 16 Feb 2017 07:39:23 +0000 (23:39 -0800)
committerChris Hanson <org/chris-hanson/cph>
Thu, 16 Feb 2017 07:39:23 +0000 (23:39 -0800)
commitc82d8747514e86927fc5b08b0d2d5cf8225fb940
tree207814d86254af1d980ea3cba22f363c9882780d
parent60c6cf3e98cc62120a811cd4e27d6583198cb047
Update EDITION, UPDATED, and regenerate detailed menu.
doc/ref-manual/characters.texi
doc/ref-manual/scheme.texinfo