File | Date | Author | Commit |
---|---|---|---|
doc | 2016-12-22 | rbri | [r627] remove outdated stuff |
src | 2017-01-03 | rbri | [r647] some more docu |
LICENSE.txt | 2016-12-23 | rbri | [r628] % cleanup license |
checkstyle.xml | 2017-01-03 | rbri | [r646] 2017 |
checkstyle_suppressions.xml | 2015-08-16 | rbri | [r543] + documentation about input source |
pom.xml | 2016-12-23 | rbri | [r636] cleanup and some updates |