media
|
initial commit
|
2017-09-25 11:37:41 +02:00 |
msg/js
|
updated Blockly to latest version
|
2018-01-16 22:13:23 +01:00 |
.gitignore
|
Initial commit
|
2017-09-25 11:27:12 +02:00 |
blockly_compressed.js
|
updated Blockly to latest version
|
2018-01-16 22:13:23 +01:00 |
blocks_compressed.js
|
updated Blockly to latest version
|
2018-01-16 22:13:23 +01:00 |
bootstrap.min.css
|
update to newest bootstrap
|
2018-01-17 20:41:23 +01:00 |
CNAME
|
Create CNAME
|
2017-09-25 11:31:48 +02:00 |
index.html
|
remove obsolete bootstrap.min.js
|
2018-01-17 20:48:04 +01:00 |
jquery.min.js
|
initial commit
|
2017-09-25 11:37:41 +02:00 |
LICENSE
|
Initial commit
|
2017-09-25 11:27:12 +02:00 |
logo.png
|
add new logo
|
2017-10-11 11:03:23 +02:00 |
logo.svg
|
add svg logo
|
2017-10-13 14:15:58 +02:00 |
python_compressed.js
|
updated Blockly to latest version
|
2018-01-16 22:13:23 +01:00 |
README.md
|
Initial commit
|
2017-09-25 11:27:12 +02:00 |
styles.css
|
update control panel for mobile
|
2018-01-17 21:17:05 +01:00 |