diff man/search.texi @ 65794:3dea674724d0

yes
author Richard M. Stallman <rms@gnu.org>
date Sun, 02 Oct 2005 17:44:18 +0000
parents 8430a6e62d6c
children feb2110d1e96 b1c1fc853d2f
line wrap: on
line diff