7.1.2
Revert "7.1.2"

This reverts commit 9b318bc9f2cf004e1626573d7bdf216f209bb037.
Merge branch 'master' of https://github.com/strajky5/IFJproject