Luca Frosini 24e68f02db Enhanced smart-executor range		2019-10-10 17:13:20 +02:00
..
org.eclipse.core.resources.prefs	Enhanced smart-executor range	2019-10-10 17:13:20 +02:00
org.eclipse.jdt.core.prefs	Enhanced smart-executor range	2019-10-10 17:13:20 +02:00