Ralf Teusner 6672491bc3 commented out translation to line breaks, as they seem not to be needed (and corrected the linebreak tag), thanks to martin for hinting at this. Discuss with janusch why he needed this.

2015-09-25 12:19:13 +02:00

..

application.js

transferred Code Ocean from original repository to GitHub

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

base.js

extracted method

2015-03-11 17:30:29 +01:00

dashboard.js

fixed minor code style issues

2015-03-03 11:31:20 +01:00

editor.js

commented out translation to line breaks, as they seem not to be needed (and corrected the linebreak tag), thanks to martin for hinting at this. Discuss with janusch why he needed this.

2015-09-25 12:19:13 +02:00

execution_environments.js

transferred Code Ocean from original repository to GitHub

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

exercises.js

fix

2015-03-12 17:04:53 +01:00

forms.js

improvements for togglable form inputs

2015-03-12 17:57:15 +01:00

markdown_editor.js

transferred Code Ocean from original repository to GitHub

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

shell.js

transferred Code Ocean from original repository to GitHub

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

turtle.js

Manually merge changes from webpython branch.

2015-09-15 16:55:16 +02:00