# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 965731011 0
# Node ID 7ddcabbcb3780a0232d7be9f25ae0e74421530f0
# Parent  d8bdb143d14006483484ddd84630c55850420609
*** empty log message ***

diff -r d8bdb143d140 -r 7ddcabbcb378 ChangeLog
--- 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