Revision 8dde3232dbf7d4831ebd239ce493f0d9c536acf2

Committed on 19/01/2018 8:44 am by Mario Blažek <blazek.mario@gmail.com> [GitHub Diff]