diff man/new-users-guide/search.texi @ 1572:7cdea3a12158

[xemacs-hg @ 2003-07-14 21:52:30 by youngs] Update xemacs_extra_name.
author youngs
date Mon, 14 Jul 2003 21:52:30 +0000
parents 576fb035e263
children f43f9ca6c7d9
line wrap: on
line diff