comparison etc/edt-user.doc @ 41786:ebc070758e2a

Add @direntry.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 02 Dec 2001 09:42:13 +0000
parents 19818763d299
children 11d4f1454748
comparison
equal deleted inserted replaced
41785:f7ab2f136a79 41786:ebc070758e2a