Re: extra file in pre-release gnus

* Mike Kupfer <mike.kupfer(a)sun.com&gt; writes: I'd say what has happened here is that Norbert's WD wasn't updated properly when that file was cvs rm'd. Norbert, can you check your WD for that file and if it exists... $ cvs up -Pd And if that doesn't get rid of it, just rm the sucker! :-) -- |---<Steve Youngs>---------------<GnuPG KeyID: A94B3003>---| | I am Dyslexic of Borg. | | Fusistance is retile. Your arse will be laminated. | |------------------------------------&lt;steve(a)sxemacs.org&gt;---|