herbert langhans writes: > I can delete the .tar.gz files from /usr/ports/distfiles - is this correct? > > Not that some port tree management goes crazy (dependencies or such).. If you want to be selective, try "portsclean" which is part of portupgrade(-*). Robert Huff