Tue, 15 Mar 2011 19:54:11 +0100 Peter Kovacs Change the default scaling factor in CostScaling (#417)