Ralf Teusner dad1c2f1a3 change margin top to margin bottom on request_for_comment editor (commentitor).

2017-09-27 09:50:45 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

Add a custom jquery-ui library for minimal mouse interaction support

2017-09-05 15:48:19 +02:00

remote_scripts

prevent replacement of * in student submission files..

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

stylesheets

change margin top to margin bottom on request_for_comment editor (commentitor).

2017-09-27 09:50:45 +02:00