diff src/search.c @ 95008:2d16a387dca5

Switch to recommended form of GPLv3 permissions notice. Remove Creator metadata.
author Glenn Morris <rgm@gnu.org>
date Thu, 15 May 2008 07:45:18 +0000
parents 8971ddf55736
children 99656f6b55ce
line wrap: on
line diff