diff lib-src/rcs-checkin @ 12256:e50e5d419c51

(grep-null-device): Defined. (grep): Use grep-null-device.
author Richard M. Stallman <rms@gnu.org>
date Fri, 16 Jun 1995 04:36:55 +0000
parents 9e5812a795da
children da322c027bf0
line wrap: on
line diff