diff make-dist @ 3429:5c0a40a8a55d

(diff): Really do use arg SWITCHES.
author Richard M. Stallman <rms@gnu.org>
date Wed, 02 Jun 1993 17:09:37 +0000
parents 3f87ded07a67
children cecefb2ab758
line wrap: on
line diff