Yann Flory 6363d3fb90 Pad titles are now shared with the userdoc

2016-09-16 12:49:47 +02:00

..

codemirror-5.16.0

move themes directly into ./code/

2016-06-29 11:45:57 +02:00

theme

templates for custom themes

2016-07-12 12:36:13 +02:00

index.html

wait a full minute until requirejs times out

2016-08-04 12:44:27 +02:00

inner.html

add one more missing script that caused handlebar highlighting to break

2016-07-29 16:21:27 +02:00

main.js

Pad titles are now shared with the userdoc

2016-09-16 12:49:47 +02:00

modes.js

export file with correct file extension, if possible

2016-07-25 11:26:42 +02:00

themes.js

add 'ansuz' theme because I'm horribly vain

2016-06-29 15:13:24 +02:00