From: Timo Heister Date: Tue, 4 Jun 2024 14:54:00 +0000 (-0400) Subject: Merge pull request #386 from tjhei/sundials X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=403f794b6d81ddac6d1601050479e9d0877c0c02;p=candi.git Merge pull request #386 from tjhei/sundials sundials: enable optimizations, disable examples --- 403f794b6d81ddac6d1601050479e9d0877c0c02