100755 blob 565ac0c43209f8e30c7a6db95d6eb29c5a644dab	format_all.sh
100644 blob 518c3193a16377515c6c81e557c903fe58539a6a	make_docs.py
100755 blob 8ec84bf2709887d9d4eda3b30b8f877828e220a1	make_release