* doc/emacs/misc.texi (Saving Emacs Sessions): Make previous change
authorGlenn Morris <rgm@gnu.org>
Wed, 12 Mar 2014 07:26:07 +0000 (00:26 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 12 Mar 2014 07:26:07 +0000 (00:26 -0700)
commite2bd66b7a1dffa12374b001e7c5df5a9d004a265
treeb76d049d8c69322c96d02711821b5d39917c9a48
parent9cb1f379d1efa8f2c18cd8c5432cb35e8d401a0b
* doc/emacs/misc.texi (Saving Emacs Sessions): Make previous change
slightly less brief.
doc/emacs/misc.texi