Remove comments about edt-user.doc. No longer applies now file has
authorGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 03:11:56 +0000 (03:11 +0000)
committerGlenn Morris <rgm@gnu.org>
Tue, 15 Dec 2009 03:11:56 +0000 (03:11 +0000)
commit5b94cf5f510b900daaee27eddb36be91a54af4ba
treed907ba70062531d0efaaca82c0d4de85cbd27108
parenta50cd91a292debd7704fd993c47a9f98b4191778
Remove comments about edt-user.doc.  No longer applies now file has
been removed and split into two pieces.
admin/notes/copyright
etc/ChangeLog