diff make-dist @ 67018:ef7892af4fa7

Handle compressed files.
author Andreas Schwab <schwab@suse.de>
date Sat, 19 Nov 2005 16:53:32 +0000
parents 28718fa5d988
children 2cadd1e7bd46 0ca0d9181b5e
line wrap: on
line diff