diff --git a/local_installer.sh b/local_installer.sh index 3c4c42864843c0c03494dd4b9232f2c32a54ca35..3a2e1a0782dc0355befb5c937891ca287e287584 100644 --- a/local_installer.sh +++ b/local_installer.sh @@ -8,7 +8,7 @@ WRITE_PATHS_TO=~/.bashrc NGSOLVE_GIT_VERSION_HASH="0419c0285dae6589c32a5ddfaf0dea2e89a5e3b7" BEMPP_GIT_VERSION_HASH="ce2ffc1ce52f07bf5890b19fb7c4389a7bb1031a" NGBEM_GIT_VERSION_HASH="499138ca5dd17e812d3bdfdc0556afbff4ca340c" -COMMICS_GIT_VERSION_HASH="c4974e13106b6478663a211abd841b6c5ecf85d3" +COMMICS_GIT_VERSION_HASH="cb67b268c0cb56e1b532087284270148217f94fd" ################################################################################ # install requirements