diff src/search.c @ 111521:76c2ff4450eb

Standardize some file headers.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Nov 2010 19:34:36 -0800
parents 875202ac5b45
children 417b1e4d63cd
line wrap: on
line diff