Revision 772399c4d6aca932198c9036b41a96be9d894f3d

Committed on 10/12/2018 2:31 am by René Hrdina <[email protected]> [GitHub Diff]

revert code style changes

Share your information