Tweak previous modes.texi change.
authorGlenn Morris <rgm@gnu.org>
Fri, 27 May 2011 01:43:15 +0000 (21:43 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 27 May 2011 01:43:15 +0000 (21:43 -0400)

No differences found