lib/scripts/expandshort.pl
Tue, 16 Dec 1997 12:17:48 +0100 wenzelm adapted from Larry's version;
less more (0) tip