Eivind Uggedal 765bde8247 openmpi: extract update_* to external update file		2015-01-15 11:17:40 +00:00
..
template	…
update	…