Commit Graph

6 Commits

Author SHA1 Message Date
Ralf Teusner
72d96078af remove request-for-comments buttons 2015-04-27 11:20:10 +02:00
Jan Renz
5a4b647acb Merge branch 'pr/14'
Conflicts:
	app/views/exercises/_editor_file_tree.html.slim
2015-04-10 20:39:53 +02:00
Jan Renz
518016d375 Smaller buttons 2015-04-08 18:19:33 +02:00
Felix Wolff
b8ec3edef2 Show requests for comments and begin work on a view for executing them 2015-03-27 18:10:47 +01:00
Hauke Klement
9d6b79c919 replaced Glyphicon icons by Font Awesome icons 2015-03-18 10:19:39 +01:00
Hauke Klement
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00