3 Коммитов

Автор	SHA1	Сообщение	Дата
Jeff Squyres	3ad89f16b8	openmpi-release.sh: haven't used "sowing" in years	2015-06-19 12:26:12 -07:00
Jeff Squyres	b44a244fbc	openmpi-release.sh: update for git ... Also add consistent indenting to make the loop easier to read.	2014-10-03 16:02:57 -06:00
Jeff Squyres	eb270172a7	build server: moved scripts to contrib/build-server ... Removed a redundant copy of the scripts running on the build server and moved the remaining copy out to a top-level directory in contrib (i.e., contrib/build-server vs. contrib/dist/build-server, where I never could remember where to find them).	2014-10-02 11:32:54 -07:00