diff man/search.texi @ 66552:fd827c9eda22

#
author André Spiegel <spiegel@gnu.org>
date Sun, 30 Oct 2005 11:10:07 +0000
parents 8430a6e62d6c
children feb2110d1e96 b1c1fc853d2f
line wrap: on
line diff