4 Commits

Author	SHA1	Message	Date
Ralf Teusner	c37f675893	clickthrough of alert banners, some more positioning, move them to front.	2017-03-15 11:34:27 +01:00
Alexander Kastius	3c9ecda0ad	Moved error messages to top of page	2017-03-13 01:07:05 +01:00
Hauke Klement	c294e3b499	do not render the development environment for exercises without visible files	2015-03-21 18:46:02 +01:00
Hauke Klement	4cbf9970b1	transferred Code Ocean from original repository to GitHub	2015-01-22 10:01:32 +01:00