Rémi Verschelde ae9729b6df Move various scripts to the "scripts" folder ...

Thus cleaning up the "tools" folder a bit.

2016-09-05 07:49:22 +02:00

..

addheader.py

Move various scripts to the "scripts" folder

2016-09-05 07:49:22 +02:00

file-hex-array.py

…

make_bmfhdr.py

Move various scripts to the "scripts" folder

2016-09-05 07:49:22 +02:00

make_glwrapper.py

Move various scripts to the "scripts" folder

2016-09-05 07:49:22 +02:00

make_icons.sh

Move various scripts to the "scripts" folder

2016-09-05 07:49:22 +02:00

makeargs.py

…

memsort.py

Move various scripts to the "scripts" folder

2016-09-05 07:49:22 +02:00

sort-demos.sh

…

svgs_2_pngs.py

…