Giuseppe Criscione b5dbaeda9e Use 'codemirror' npm package instead of 'codemirror-minified'

2019-06-07 22:37:06 +02:00

..

css

Fix editor flickering in Chrome

2019-06-07 21:23:55 +02:00

icons

Update icon font

2018-09-13 16:20:15 +02:00

images

Initial commit

2018-06-16 16:41:58 +02:00

js

Use 'codemirror' npm package instead of 'codemirror-minified'

2019-06-07 22:37:06 +02:00

scss

Fix editor flickering in Chrome

2019-06-07 21:23:55 +02:00