Ralf Teusner 574e870bd1 fix reset for user created files (where therefore no original file is available)

2018-10-19 15:27:14 +02:00

..

ajax.js.erb

Moved everything into new files. Made editor.js.erb really small.

2016-08-11 23:24:38 +02:00

editor.js.erb

Work around messy architecture

2018-08-14 21:48:16 +02:00

evaluation.js.erb

call text() again to prevent execution of javascript

2018-10-16 17:20:58 +02:00

execution.js.erb

Update execution.js.erb

2018-05-16 14:41:15 +02:00

participantsupport.js.erb

remove disabling of the RFC button after having posted an RFC

2018-07-18 09:33:29 +02:00

prompt.js.erb

Moved codepilot into dedicated file.

2016-09-09 17:24:04 +02:00

submissions.js.erb

fix reset for user created files (where therefore no original file is available)

2018-10-19 15:27:14 +02:00

turtle.js.erb

Removed unused functions.

2016-09-09 17:17:54 +02:00

websocket.js.erb

Fix the spelling mistake "wether" with "whether"

2018-08-02 08:08:52 +00:00