| 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 |