100755 blob 5a99b19623efb1dcc9a5ae06c557ae254f5048d6	createAll.bash
100755 blob 53f1d1a9cbccc6bc9202d24bff43a751e28e4db3	deleteAll.bash
100644 blob 312d2c45fb0d39a097bbd1301fc03e488576c5db	setenv.bash
040000 tree a6e4be8b082d5a682c3a9c2ef26d1ba683fad61b	tools