100755 blob ded7c392ed1866e5c3efd9d1d12c99f48e359a94	createAll.bash
100755 blob 9833af790979499760f09777b56b4ffd8ba61531	deleteAll.bash
100644 blob 3f1af4de8a34e3783ceb4b9c9fc5d63f765a1f88	setenv.bash
040000 tree a6e4be8b082d5a682c3a9c2ef26d1ba683fad61b	tools