Skip to content

[julia 1] remove the stuff we didn't make the first time

Miroslav Kratochvil requested to merge mk-finish-julia1 into master

(this goes to master to hotfix the current deploy)

Merge request reports