diff make-dist @ 3662:edba0072c7ef

Reinstate old -f option as an alias for -o for installed base uses.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Jun 1993 18:32:55 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff