From: Timo Heister Date: Sun, 17 Apr 2022 18:55:32 +0000 (-0400) Subject: Merge pull request #284 from tjhei/native_o3 X-Git-Tag: v9.4.0-r1~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1845c91625fbd3b5fa13589682e02a6fdf49b461;p=candi.git Merge pull request #284 from tjhei/native_o3 native optimizations: enable -O3 --- 1845c91625fbd3b5fa13589682e02a6fdf49b461