diff Makefile.in @ 14819:ece1210e739f

(occur): If no matches, just display in echo area.
author Richard M. Stallman <rms@gnu.org>
date Sun, 17 Mar 1996 17:58:42 +0000
parents 2dbe6630a156
children 831061a3e4f1
line wrap: on
line diff