diff src/search.c @ 13452:5aab5c1f2c33

Oops; left a note in a doc-string.
author Simon Marshall <simon@gnu.org>
date Fri, 10 Nov 1995 08:42:45 +0000
parents bc92156aa523
children 621a575db6f7
line wrap: on
line diff