From: Timo Heister Date: Sun, 20 Dec 2020 16:39:15 +0000 (-0500) Subject: Merge pull request #148 from rezarastak/remove_threads X-Git-Tag: v9.3.0-r3~36 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b283c4f83172d36d94333d7553b815678f99efb2;p=candi.git Merge pull request #148 from rezarastak/remove_threads remove WITH_THREADS --- b283c4f83172d36d94333d7553b815678f99efb2