100755 blob 9e914f681dc93f944cef2bf21757a893511f34ff	build_config_option_docs.py
100755 blob 32f483a8cccff71863b33eb9d3779bbf1ebbae86	build_profile_docs.py
100755 blob 580a48e9399c2d6623442370733dcc6a533ddc4e	check_acknowledgments.py
100755 blob 87027978b91bd71b19f2c092112bc2d6b12336e1	clean.sh
100755 blob 180a945704f8f67a0a7947990b4e5ad7f0d799cc	docker.sh
100755 blob 440d596c02f20d074b87e19f3bb0929ebb1a85fe	done.sh
100755 blob 1e0dc2a9e37aff2238ec5eb91689d8100a249d4f	mkstdlibs.py
100755 blob 8193b489b20e38d1afa641d6b41ffc6834553913	test.sh
100755 blob cd32c7bab0a61a1d330d1de889d24cbcb3509595	test_integration.sh