Ralf Teusner d9cc9d17cf remove already merged files. All content is now in participantsupport.js.erb

2016-11-23 16:26:17 +01: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

change call to retrieve relative_url_root

2016-10-28 17:13:21 +02:00

evaluation.js.erb

Reordered everything again.

2016-09-09 18:08:41 +02:00

execution.js.erb

added relative_url_root to URL for websocket call, needed for staging server

2016-10-06 16:14:51 +02:00

participantsupport.js.erb

FIxed typo.

2016-09-09 18:10:08 +02:00

prompt.js.erb

Moved codepilot into dedicated file.

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

submissions.js.erb

Reordered everything again.

2016-09-09 18:08:41 +02:00

turtle.js.erb

Removed unused functions.

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

websocket.js.erb

make websocket flush accessible.

2016-09-01 17:31:46 +02:00