Skip to content

Corrected and improved messages in configure.sh, also removed support for...

Jefferson Stafusa E. Portela requested to merge cherry-pick-194-to-master into master

Corrected and improved messages in configure.sh, also removed support for (decommissioned) superMUC.

Merge request reports