Closed jbrillon closed 2 years ago
Updating ubuntu install script to include the required gmsh update, set the appropriate remote upstream, and other minor improvements.
Updating ubuntu install script to include the required gmsh update, set the appropriate remote upstream, and other minor improvements.