rteusner 5a2394f1b9 Merge pull request #166 from openHPI/clustered-admin-menu ...

Structure admin menu

2018-04-11 15:51:05 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

Hide other submenus when opening a new one

2018-04-10 19:17:10 +02:00

remote_scripts

prevent replacement of * in student submission files..

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

stylesheets

Merge pull request #166 from openHPI/clustered-admin-menu

2018-04-11 15:51:05 +02:00