Subject: Re: config & vice config.old & config
To: Chris G Demetriou <Chris_G_Demetriou@LAGAVULIN.PDL.CS.CMU.EDU>
From: Ted Lemon <>
List: current-users
Date: 04/24/1995 09:20:55
> Once the pmax is converted (or perhaps earlier), will be
> renamed to config, and config will be renamed to config.old.

I certainly wouldn't complain about this - think of it as yet another
incentive to get the work done...