Eyck Jentzsch 81f37d4740 puts some cleanup

2023-06-27 16:56:03 +02:00

..

.settings

puts some cleanup

2023-06-27 16:56:03 +02:00

.gitignore

update feature definition

2020-06-21 12:23:34 +02:00

.project

update feature definition

2020-06-21 12:23:34 +02:00

build.properties

update feature definition

2020-06-21 12:23:34 +02:00

feature.xml

add TreeMap facade

2021-02-26 11:57:54 +00:00

pom.xml

updates version numbers, fixes missing pom.xml

2023-02-27 20:29:41 +01:00