diff man/search.texi @ 56552:12ee8343c078

Tiny change.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Tue, 27 Jul 2004 02:10:51 +0000
parents 1e634b993162
children aeee9d21eb4a c08afac24467
line wrap: on
line diff