|
IDEs
|
Cleanup most Eclipse config files
|
2018-09-18 14:51:27 +01:00 |
|
lib
|
Revert "Revert "Migrate to Maven""
|
2018-09-16 15:34:47 +01:00 |
|
lib-src
|
Revert "Revert "Migrate to Maven""
|
2018-09-16 15:34:47 +01:00 |
|
src
|
bugfix for new option autosave period
|
2017-06-24 22:42:49 +02:00 |
|
pom.xml
|
Revert "Revert "Migrate to Maven""
|
2018-09-16 15:34:47 +01:00 |
