diff make-dist @ 8751:5b4ba06e910f

(forward-page): If we find a match that ends where we started searching, look for another one.
author Richard M. Stallman <rms@gnu.org>
date Thu, 15 Sep 1994 03:21:56 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff