# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1037708287 0
# Node ID d0c59f61190cacc2f21c75bcb43180d5742d9d1d
# Parent  8c1adeb99c93272802873d214b3dab1230b2dc65
*** empty log message ***

diff -r 8c1adeb99c93 -r d0c59f61190c lib-src/ChangeLog
--- a/lib-src/ChangeLog	Tue Nov 19 09:31:31 2002 +0000
+++ b/lib-src/ChangeLog	Tue Nov 19 12:18:07 2002 +0000
@@ -1,8 +1,9 @@
-2002-11-19  Ben Key <bkey1@tampabay.rr.com>
+2002-11-19  Ben Key  <bkey1@tampabay.rr.com>
+
 	* makefile.w32-in: Fixed a bug that caused the documentation for
 	the built in function play-sound-internal not to be included in
 	/etc/DOC.
-	
+
 2002-11-18  Dave Love  <fx@gnu.org>
 
 	* update-game-score.c: Include unistd.h, string.h, stdlib.h,