diff man/eudc.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 69b3598a61c5
children dc2d5a6655a3 fa0da9b57058
line wrap: on
line diff