Skip to content
Commit ce4272ab authored by jakub uhlarik's avatar jakub uhlarik
Browse files

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

parents 180b0463 03e310f1
Pipeline #202247 passed with stage
in 3 minutes and 29 seconds