|
.settings
|
Normalize line endings
|
2013-03-23 18:46:20 -04:00 |
|
IDEs
|
correct classpath references and java version
|
2017-07-18 22:15:46 +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 |
