volzhs 17e8e343fb Revert "Add new editor and default theme (WIP)" ...

This reverts commit f045efe007.

2017-05-03 06:19:15 +09:00

..

addheader.py

…

file-hex-array.py

…

make_bmfhdr.py

…

make_glwrapper.py

…

make_icons.sh

…

makeargs.py

…

memsort.py

…

sort-demos.sh

Rename project file to "project.godot"

2017-05-01 17:50:19 +02:00

svgs_2_pngs.py

Revert "Add new editor and default theme (WIP)"

2017-05-03 06:19:15 +09:00