0xboobface 016fd2bd14 Include JavaFX in the distribution zips ... Since JavaFX will not be shipped with the JRE/JDK form Java 11 on, we include it in the distribution zips. The latest JavaFX is built with Java 10, so we set that as runtime, too.		2018-11-14 13:48:04 +01:00
..
org.eclipse.core.resources.prefs	initial import	2018-07-01 17:38:53 +02:00
org.eclipse.jdt.core.prefs	Include JavaFX in the distribution zips	2018-11-14 13:48:04 +01:00
org.eclipse.m2e.core.prefs	initial import	2018-07-01 17:38:53 +02:00