diff man/search.texi @ 64466:24be77ee0c97

(GTK styles): Delete duplicate words.
author Juri Linkov <juri@jurta.org>
date Mon, 18 Jul 2005 16:20:32 +0000
parents a77d510ff94d
children 3723093a21fd fbb2bea03df9
line wrap: on
line diff