diff options
Diffstat (limited to 'man/ChangeLog')
| -rw-r--r-- | man/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 09d273e1d33..ae687d0c995 100644 --- a/man/ChangeLog +++ b/man/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2004-09-09 Reiner Steib <Reiner.Steib@gmx.de> | ||
| 2 | |||
| 3 | * makefile.w32-in (sieve, pgg): Use $(infodir). | ||
| 4 | |||
| 1 | 2004-09-08 Juri Linkov <juri@jurta.org> | 5 | 2004-09-08 Juri Linkov <juri@jurta.org> |
| 2 | 6 | ||
| 3 | * mini.texi (Minibuffer History): Add `history-delete-duplicates'. | 7 | * mini.texi (Minibuffer History): Add `history-delete-duplicates'. |