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