Changes the install script to checkout the 3.2 release for dumux course and dumux. Only merge this shortly before the 3.2 release.
closes #22 (closed)
Changes the install script to checkout the 3.2 release for dumux course and dumux. Only merge this shortly before the 3.2 release.
closes #22 (closed)