Merge branch 'master' of https://gitlab.fi.muni.cz/xuhlarik/grammar-manager