Jeff Squyres 9687d5e867 Upgrade all www.open-mpi.org URLs to https ... Found a handful of other URLs that weren't https-ized, so I updated them, too (after verifying that they support https, of course). Signed-off-by: Jeff Squyres <jsquyres@cisco.com>		2020-04-02 10:43:50 -04:00
..
linux	Upgrade all www.open-mpi.org URLs to https	2020-04-02 10:43:50 -04:00
mofed	Upgrade all www.open-mpi.org URLs to https	2020-04-02 10:43:50 -04: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.pl script not compatible with being a submodule.	2019-04-26 11:30:50 -04:00
make-html-man-pages.pl	dist: Don't build case-conflicting html man pages	2018-03-29 21:44:58 +00:00