[client-extension] Mizar build script gets Mizar from github or from given directory
View differences
[client-extension] Mizar build script gets Mizar from github or from given directory