updated binaries, updated manuals, updated git versioning

This commit is contained in:
2018-03-12 14:21:02 +01:00
parent b389402d64
commit 72970c9669
22 changed files with 1174 additions and 434 deletions