22 Jul
1997
22 Jul
'97
10:03 p.m.
On Tue, 22 Jul 1997, Reinhold Herrmann wrote:
Was ich gar nicht genau weiss ist, ob mirror.pl eigentlich auch auf dem mirror geloeschte files entfernt. Ich meine ja, zeitweise meldet er ein unlinked, aber ich bin mir nicht sicher.
Wenn do_deletes=1 gesetzt ist, loescht mirror.pl Arthur.Teschler@uni-giessen.de