Maximilian Grundke e1c45f025f Hide Ace's tooltips for annotations

2017-08-13 18:46:55 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

move user-id for codeocean-events into in_context

2017-08-04 16:39:23 +02:00

remote_scripts

prevent replacement of * in student submission files..

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

stylesheets

Hide Ace's tooltips for annotations

2017-08-13 18:46:55 +02:00