100755 blob 3afd8e153aaeec3dc1c23e603d7f39f184de8177	build_config_option_docs.py
100755 blob 08916fb7c43b55c36545abbc1d8a9e3a6cea4eaf	build_profile_docs.py
100755 blob 27aa84c8a8075ad98d79dc36ce317e00edc371b8	check_acknowledgments.py
100755 blob 632a023c231e83740092fee13b65fd109cf7b1d1	clean.sh
100755 blob 1ca23e0e2b29574761b6a22b42319a96b17e7ce1	docker.sh
100755 blob 7a1becca33057d49112ab72fc6c49dab92dd1d65	done.sh
100755 blob c85e7a63b27f9ef3e572b3ccf37814dcf503e50f	lint.sh
100755 blob 9f375be2ffc3e4465ccac44cec28000dbe49c1d5	mkstdlibs.py
100755 blob 56d2e84aa121841d7d35e8589243fffbdec50f2e	test.sh
100755 blob 8bbcc5e7755e87ec93de32e5bc96330cbfbf8e04	test_integration.sh