comparison mx/eclipse-settings/org.eclipse.core.resources.prefs @ 15387:fd435374bb93

moved tryKillUnused to GraphUtil
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Fri, 25 Apr 2014 16:45:05 +0200
parents f11d3d5248b5
children
comparison
equal deleted inserted replaced
15386:1439685d06e4 15387:fd435374bb93