diff build-ins.in @ 18273:41496911055d

(grep-program): Comment out the use of zgrep.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Jun 1997 23:20:46 +0000
parents 1541c518f769
children
line wrap: on
line diff