Michael F. Herbst 1952a92820 Minor typos and corections (#5789) ... - The shell script uses arrays and hence only works on sophisticated shells and not the default `sh`. For clarity the shebang `#!/bin/bash` has been used instead.		2017-10-17 01:36:03 -07:00
..
spack	Minor typos and corections (#5789)	2017-10-17 01:36:03 -07:00