Revision e13ce410c0d71645d9991c5e947ba4240411e242

Committed on 30/11/2018 2:33 am by René Hrdina <[email protected]> [GitHub Diff]

apply coding styles as requested

Share your information