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

Thus cleaning up the "tools" folder a bit.

(cherry picked from commit ae9729b6df)

2016-09-18 23:05:00 +02:00

..

addheader.py

Move various scripts to the "scripts" folder

2016-09-18 23:05:00 +02:00

file-hex-array.py

…

make_bmfhdr.py

Move various scripts to the "scripts" folder

2016-09-18 23:05:00 +02:00

make_glwrapper.py

Move various scripts to the "scripts" folder

2016-09-18 23:05:00 +02:00

make_icons.sh

Move various scripts to the "scripts" folder

2016-09-18 23:05:00 +02:00

makeargs.py

…

memsort.py

Move various scripts to the "scripts" folder

2016-09-18 23:05:00 +02:00

sort-demos.sh

…

svgs_2_pngs.py

…