diff make-dist @ 10069:badc25c57780

(occur): Put number of matches in the header line.
author Richard M. Stallman <rms@gnu.org>
date Thu, 24 Nov 1994 08:39:41 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff