Clean up previous change.
commitd8523190ca4f064fa819cfcd053d204b2b8d0b60
authorRichard M. Stallman <rms@gnu.org>
Wed, 12 Apr 2006 19:32:07 +0000 (12 19:32 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 12 Apr 2006 19:32:07 +0000 (12 19:32 +0000)
treead1036b3bab739a31dec1c5cf95bfceb526ebdb2
parent7e37cb69570c07dc0b293aa59b0dea7cf86bd4f3
Clean up previous change.
man/ChangeLog
man/search.texi