Commit 69de096e authored by Anton Koch's avatar Anton Koch

Merge branch '359-remove-highlighting-in-source-editor---systems-frontend' into 'master'

removed confusing highlighting in sourceEditor (#359)

Closes #359

See merge request !114
parents 61afb33f d845ddcd
Pipeline #51557 passed with stage
in 2 minutes and 19 seconds