4 Commits

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