Ralf Teusner 18c8927e86 set height of ace editor to 600px.

2016-09-01 18:47:32 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

Replaced hr with enforced margin.

2016-09-01 17:49:59 +02:00

stylesheets

set height of ace editor to 600px.

2016-09-01 18:47:32 +02:00