100755 blob 565ac0c43209f8e30c7a6db95d6eb29c5a644dab	format_all.sh
100644 blob 9eab97ecbd3b8b9a15fd76f4421309a5124adf27	make_docs.py
100755 blob 8ec84bf2709887d9d4eda3b30b8f877828e220a1	make_release