Glenn Johnson 0be4c7dfbd Changes as discussed in PR review ... - removed unneeded entry for `debugger/gdb/intel64_mic` - set `+mpi` directory name to impi		2016-07-20 20:03:05 -05:00
..
package.py	Changes as discussed in PR review	2016-07-20 20:03:05 -05:00