Skip to content

Closes #1185, adds dark mode to webide

Michael Weichert requested to merge 1185-Dark-Mode into dev

Closes #1185 (closed), adds dark mode to webide

Edited by Michael Weichert

Merge request reports