|
7a63a9c1c1
|
Hide navigation elements in the UI based on policies
|
2018-12-12 14:09:19 +01:00 |
|
|
56c59a616e
|
Completely remove old non-structured errors and migrate existing ones.
|
2018-11-30 11:27:25 +01:00 |
|
|
9666683bd7
|
Fix error, submission, hints and help views
|
2018-11-06 16:46:01 +01:00 |
|
|
4cbf9970b1
|
transferred Code Ocean from original repository to GitHub
|
2015-01-22 10:01:32 +01:00 |
|