Closed sjrd closed 4 years ago
This PR goes together with https://github.com/scalafiddle/scalafiddle-io/pull/45 and https://github.com/scalafiddle/scalafiddle-editor/pull/89.
This PR goes together with https://github.com/scalafiddle/scalafiddle-io/pull/45 and https://github.com/scalafiddle/scalafiddle-editor/pull/89.