diff man/search.texi @ 54146:2a5eca2838d1

A lot of doc fix.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Thu, 26 Feb 2004 04:03:40 +0000
parents 3649390c0f91
children d46dec533480
line wrap: on
line diff