Thomas Hille 8a94905f17 merged with current master

2017-11-16 17:16:22 +01:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

merged with current master

2017-11-16 17:16:22 +01:00

remote_scripts

prevent replacement of * in student submission files..

2017-05-14 23:10:33 +02:00

stylesheets

Show list of feedback messages for specific exercises

2017-11-08 22:31:01 +01:00