* doc/emacs/emacs.texi (Acknowledgments): Add another contributor.
authorGlenn Morris <rgm@gnu.org>
Tue, 22 May 2012 03:35:14 +0000 (20:35 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 22 May 2012 03:35:14 +0000 (20:35 -0700)
commit6c200b4ac55f0dffe8b13b881ae0c65e0557bbea
tree34da741293099e04566be3420c9c5ea4386e5f44
parent3290526dde9b633b7a032de36fd961347f1bfe88
* doc/emacs/emacs.texi (Acknowledgments): Add another contributor.
doc/emacs/ChangeLog
doc/emacs/emacs.texi