1
1
openmpi/contrib/dist
2017-03-29 18:46:14 -04:00
..
linux openmpi.spec: also put the modulefile in /opt if install_in_opt==1 2017-03-28 20:45:09 -04:00
mofed Implemening Jeffs comments 2013-11-09 15:41:31 +00:00
find-copyrights.pl find-copyrights.pl: updates for git 2014-10-03 08:52:48 -07:00
make_dist_tarball Add the option to not make the greek tarball, only making the non-greek one 2016-03-18 12:25:20 -07:00
make_tarball Add sym link from make_dist_tarball to make_tarball. 2009-06-25 16:51:21 +00:00
make-authors.pl make-authors: we no longer require organizations 2016-12-14 10:20:56 -08:00
make-html-man-pages.pl Purge whitespace from the repo 2015-06-23 20:59:57 -07:00