Ralf Teusner e14ee6def3 Merge branch 'master' into rt/comments ...

Conflicts:
	app/assets/javascripts/editor.js

2015-08-31 19:23:53 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

Merge branch 'master' into rt/comments

2015-08-31 19:23:53 +02:00

stylesheets

implemented autosave, save button is now hidden. there is a label to show the last save timestamp. Code is saved on browser close.

2015-08-12 17:38:34 +02:00