diff man/regs.texi @ 66652:b70f4b8058da

Use GZIP_PROG instead of GZIP.
author Andreas Schwab <schwab@suse.de>
date Thu, 03 Nov 2005 16:59:33 +0000
parents 3723093a21fd
children d59b53a65f8a 2d92f5c9d6ae
line wrap: on
line diff