Luca Frosini 9d7f3276cb Switched to smart-executor-bom		2019-12-02 18:23:32 +01:00
..
org.eclipse.core.resources.prefs	Switched to smart-executor-bom	2019-12-02 18:23:32 +01:00
org.eclipse.jdt.core.prefs	Switched to smart-executor-bom	2019-12-02 18:23:32 +01:00