diff make-dist @ 106582:b8856198fed0

Split into edt-user.el and ../doc/misc/edt.texi, and remove.
author Glenn Morris <rgm@gnu.org>
date Tue, 15 Dec 2009 02:58:44 +0000
parents 9b7cf86ec483
children 1d1d5d9bd884
line wrap: on
line diff