diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-10-11 21:37:25 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-10-11 21:37:25 -0700 |
| commit | 7359a765382ff00442f08d1435fd5ededbe10283 (patch) | |
| tree | d0ca789071c0763ad4c084de6c9e97c652d7cbdb /doc/misc/ChangeLog | |
| parent | e1b0b23a7d46f4eacb8f8ed9d540742cb61eeb7b (diff) | |
| download | emacs-7359a765382ff00442f08d1435fd5ededbe10283.tar.gz | |
* doc/misc/ert.texi: Whitespace trivia to make main menu items line up better.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index b1bc1cffec2..93f722f806e 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,7 @@ +2011-10-12 Glenn Morris <rgm@gnu.org> + + * ert.texi: Whitespace trivia to make main menu items line up better. + 2011-10-08 Glenn Morris <rgm@gnu.org> * Makefile.in: Fix ert rules. |