diff man/search.texi @ 25853:e96ffe544684

#
author Dave Love <fx@gnu.org>
date Sun, 03 Oct 1999 12:39:42 +0000
parents ac7e9e5e2ccb
children 6500fd0a7d8e
line wrap: on
line diff