/scripts/

• ../
• build.py
• cmd5.py
• compiler.py
• copyright.py
• dat2c.py
• gen_keys.py
• linecount.sh
• make_docs.sh
• make_release.py
• make_src.py
• mass_server.py
• nicks.txt
• png.py