| .. |
|
.settings
|
65e7315531
Java se 1.8 (#1452)
|
8 years ago |
|
META-INF
|
57e88c2659
incremented version to 3.3.2 (#2043)
|
7 years ago |
|
src
|
7ba872c48b
Improve ErrorMarker navigation (#1914)
|
7 years ago |
|
.classpath
|
65e7315531
Java se 1.8 (#1452)
|
8 years ago |
|
.gitignore
|
3c6eb975b0
Added .gitignore files
|
10 years ago |
|
.project
|
fa17e75d27
version upgrade to 2.1.2
|
12 years ago |
|
build.properties
|
d10f7fe5f0
removed jre.compilation.profile = J2SE-1.5 from build.properties
|
10 years ago |
|
pom.xml
|
57e88c2659
incremented version to 3.3.2 (#2043)
|
7 years ago |
Andreas Mülder
57e88c2659
incremented version to 3.3.2 (#2043)