Hauke Klement 8e5b8094cf made dashboard refresh interval configurable

2015-02-13 17:34:05 +01:00

..

application.js

transferred Code Ocean from original repository to GitHub

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

base.js

transferred Code Ocean from original repository to GitHub

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

dashboard.js

made dashboard refresh interval configurable

2015-02-13 17:34:05 +01:00

editor.js

minor fix

2015-02-12 12:42:48 +01:00

execution_environments.js

transferred Code Ocean from original repository to GitHub

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

exercises.js

transferred Code Ocean from original repository to GitHub

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

forms.js

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +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