diff man/search.texi @ 46715:1320a274ce28

(debug): If redisplaying, just return.
author Richard M. Stallman <rms@gnu.org>
date Mon, 29 Jul 2002 01:49:45 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff