diff options
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 56e13da832a..bfc51b8c5ff 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2013-05-31 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * fileio.c (Finsert_file_contents): Remove unused local (Bug#8447). | ||
| 4 | |||
| 1 | 2013-05-29 Eli Zaretskii <eliz@gnu.org> | 5 | 2013-05-29 Eli Zaretskii <eliz@gnu.org> |
| 2 | 6 | ||
| 3 | * Makefile.in (mostlyclean): Remove *.res files. | 7 | * Makefile.in (mostlyclean): Remove *.res files. |