Andreas Mülder d10f7fe5f0 removed jre.compilation.profile = J2SE-1.5 from build.properties 10 年之前
..
.settings 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 年之前
META-INF 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 年之前
model 77f27de6c2 Changed default domain id 10 年之前
src d511bbd118 Deleted dead code 10 年之前
.classpath 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 年之前
.project fa17e75d27 version upgrade to 2.1.2 12 年之前
build.properties d10f7fe5f0 removed jre.compilation.profile = J2SE-1.5 from build.properties 10 年之前
plugin.properties 5d07475b15 Allow registration of different Type Systems 10 年之前
plugin.xml 14e0a977f4 uriMappings for installed plugins 13 年之前
pom.xml 0406a0604d disabled constants in stext, incremented to version 2.4.1 10 年之前