update to newer version of CodeMirror
JonJagger opened this issue · comments
This would provide API method to colour individual lines.
stdout and stderr could then be merged into a single file called output
.
repo for the cyberdojo/web Docker image; a cyber-dojo microservice
JonJagger opened this issue · comments
This would provide API method to colour individual lines.
stdout and stderr could then be merged into a single file called output
.