Bob den Otter 387c17ed5f Fix too-wide codemirror

2019-07-14 15:33:25 +02:00

..

js

Some final tweaks before beta 1

2019-07-14 13:11:59 +02:00

scss

Fix too-wide codemirror

2019-07-14 15:33:25 +02:00

static/images

Cleanup of some images

2019-07-13 17:06:55 +02:00