* doc/emacs/mini.texi (Repetition): Further copyedit.
authorGlenn Morris <rgm@gnu.org>
Wed, 17 Oct 2012 16:56:12 +0000 (12:56 -0400)
committerGlenn Morris <rgm@gnu.org>
Wed, 17 Oct 2012 16:56:12 +0000 (12:56 -0400)
commit6c24e35f04e102ce8ddc4e6f9a1bc5e117a91b45
treeef786bb7bac361d4e50322fc05d8c42b44579145
parent429cdb05307de9cdd69469d51bdabf357e548b7b
* doc/emacs/mini.texi (Repetition): Further copyedit.
doc/emacs/ChangeLog
doc/emacs/mini.texi