diff ChangeLog @ 46725:23e238634b44

*** empty log message ***
author Richard M. Stallman <rms@gnu.org>
date Mon, 29 Jul 2002 02:46:52 +0000
parents 2ddbeefcb36b
children d6ea7c29ce97
line wrap: on
line diff
--- a/ChangeLog	Mon Jul 29 02:45:49 2002 +0000
+++ b/ChangeLog	Mon Jul 29 02:46:52 2002 +0000
@@ -6,6 +6,8 @@
 
 	* configure.in: Don't print anything special about gamedir.
 
+	* configure.in: Delete nonstandard --with-game-user option.
+	
 2002-07-21  Richard M. Stallman  <rms@gnu.org>
 
 	* Makefile.in (gamedir, localstatedir): New variables.