/misc/scripts/

• ../
• addheader.py
• file-hex-array.py
• make_bmfhdr.py
• make_glwrapper.py
• make_icons.sh
• makeargs.py
• memsort.py
• sort-demos.sh
• svgs_2_pngs.py