# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1260846716 0
# Node ID 429f025b5b3ce527ac7469887c9760f52bace377
# Parent  9018050eebac4649ba5e51b6213d6fade2b228cd
*** empty log message ***

diff -r 9018050eebac -r 429f025b5b3c etc/ChangeLog
--- a/etc/ChangeLog	Tue Dec 15 03:09:25 2009 +0000
+++ b/etc/ChangeLog	Tue Dec 15 03:11:56 2009 +0000
@@ -1,3 +1,9 @@
+2009-12-15  Glenn Morris  <rgm@gnu.org>
+
+	* edt-user.el: New file, split out from edt-user.doc.
+	* edt-user.doc: Split into edt-user.el and ../doc/misc/edt.texi,
+	and remove.
+
 2009-12-09  Michael Albinus  <michael.albinus@gmx.de>
 
 	* NEWS: Point to the external counterparts of su and sudo.