On Tue, Jan 4, 2011 at 7:20 PM, Ian Jackson <ijackson@chiark.greenend.org.uk> wrote: > Olaf van der Spek writes ("Re: Source code"): >> Renaming open files works, so that should no longer be a problem. > > They have to be able to be deleted. Why? Olaf