Jan Renz 5a4b647acb Merge branch 'pr/14' ...

Conflicts:
	app/views/exercises/_editor_file_tree.html.slim

2015-04-10 20:39:53 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

bugfixes, policies, errors now have a link to the submissions

2015-04-10 20:23:38 +02:00

stylesheets

Merge branch 'pr/14'

2015-04-10 20:39:53 +02:00