Thomas Hille c13c169657 creates an autosave submission on opening of the editor. otherwise we lose track of the time between opening the exercise and the first submission

2017-03-22 15:07:13 +01:00

..

images

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

javascripts

creates an autosave submission on opening of the editor. otherwise we lose track of the time between opening the exercise and the first submission

2017-03-22 15:07:13 +01:00

stylesheets

some howto text for request_for_comment usage, changed background color of read-only editor.

2017-03-15 16:15:29 +01:00