diff options
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 803ec8a8982..12c0d784a80 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | 2012-02-29 Glenn Morris <rgm@gnu.org> | 1 | 2012-02-29 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * url.texi: Fix quote usage in body text. | ||
| 4 | |||
| 3 | * sem-user.texi, url.texi, woman.texi: Use "" quotes in menus. | 5 | * sem-user.texi, url.texi, woman.texi: Use "" quotes in menus. |
| 4 | 6 | ||
| 5 | * cl.texi: Use @code{} in menus when appropriate. | 7 | * cl.texi: Use @code{} in menus when appropriate. |