diff options
| -rw-r--r-- | man/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 7bce1c0149e..b6c1c09925a 100644 --- a/man/ChangeLog +++ b/man/ChangeLog | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | 2002-11-05 <karl@gnu.org> | 1 | 2002-11-05 Karl Berry <karl@gnu.org> |
| 2 | 2 | ||
| 3 | * info.texi (Info-fontify): reorder face list to avoid bad line | 3 | * info.texi (Info-fontify): reorder face list to avoid bad line |
| 4 | breaks. | 4 | breaks. |