diff etc/edt-user.doc @ 75486:b477debfe297

Revert previous change while we figure out if it was correct.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Jan 2007 21:40:03 +0000
parents e058065ef04c
children 713172dcf518
line wrap: on
line diff