Removing some sourceforge mirrors which have dissapeared.
Authored by: henca 2017-10-15
Parent: [r292]
Child: [r294]
