Hugo Locurcio 10a8b1d380 Remove obsolete sort_demos.sh script ...

The Project Manager now sorts projects by name by default,
making this script redundant.

2019-10-02 09:46:27 +02:00

..

file-hex-array.py

…

fix_headers.py

…

fix_style.sh

…

make_bmfhdr.py

…

make_glwrapper.py

…

make_icons.sh

…

makeargs.py

…

memsort.py

…