diff make-dist @ 63887:396252178c2c

(gud-filter): Remove unneeded progn.
author Andreas Schwab <schwab@suse.de>
date Thu, 30 Jun 2005 21:09:03 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff