[Petter Reinholdtsen] > To free up some space for use in the debian mirror on developer, I > want to remove /skolelinux/developer/temp/. Are anyone still using > it? I'll remove it in a week if I do not hear any protests. The space is now released, and I am using it to extend the full local/ partition.