comparison etc/edt-user.doc @ 80080:6ec8ade53232

Revert previous change, which should have been on the trunk.
author Glenn Morris <rgm@gnu.org>
date Fri, 08 Feb 2008 20:11:33 +0000
parents 1dd7437446ea
children cbf5528cf447
comparison
equal deleted inserted replaced
80079:dd3b45bfc388 80080:6ec8ade53232