From: Uwe Köcher Date: Thu, 17 Jun 2021 18:30:21 +0000 (+0200) Subject: Merge pull request #189 from gfcas/remove_stable_build_option X-Git-Tag: v9.3.0-r3~14 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6884920fa51ea972c77e3a2c93402327f388d101;p=candi.git Merge pull request #189 from gfcas/remove_stable_build_option Remove STABLE_BUILD option --- 6884920fa51ea972c77e3a2c93402327f388d101