diff etc/edt-user.doc @ 56735:d6c81d81255e

(Misc Help): Add an index entry for finding an Info manual by its file name.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 21 Aug 2004 11:58:30 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff