100755 blob 72d852ded61ef38054076037ae27b775ba419db7	createAll.bash
100755 blob b41679b061aa8d32a1a32050d7abef455d6897fd	deleteAll.bash
100644 blob 312d2c45fb0d39a097bbd1301fc03e488576c5db	setenv.bash
040000 tree bbfaf8447e0707ef25a060b2bd227194e5d4ead2	tools