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