changeset 30658:7ddcabbcb378

*** empty log message ***
author Eli Zaretskii <eliz@gnu.org>
date Tue, 08 Aug 2000 10:36:51 +0000
parents d8bdb143d140
children ebfc33859f55
files ChangeLog
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Tue Aug 08 10:35:31 2000 +0000
+++ b/ChangeLog	Tue Aug 08 10:36:51 2000 +0000
@@ -1,3 +1,8 @@
+2000-08-08  Eli Zaretskii  <eliz@is.elta.co.il>
+
+	* config.bat (maindir): Update src/_gdbinit even if it does
+	already exist.
+
 2000-08-07  Gerd Moellmann  <gerd@gnu.org>
 
 	* Makefile.in (config.status): Prepend `$(srcdir)/' to