Hi Daemons, a short question: 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).. Thanks herb langhans