Subject: pruned-format ?

From: Nicolas Kowalski <[email-masked]>
Date: Mon, 10 Nov 2003 12:21:21 +0100 (MET)

Hello.

Is there a way to make pine rename pruned folder to something else that
<folder>-<monthname>-<year> ?

For example, I find more handy the way the pine-info archives are named
(pine-info.<year>.<monthnumber>), and it would be nice to make pruned
folder renamed like that.

Thanks.

-- 
Nicolas

-- 
-----------------------------------------------------------------
 For information about this mailing list, and its archives, see: 
 http://www.washington.edu/pine/pine-info/
-----------------------------------------------------------------