From: Timo Heister Date: Sun, 17 Apr 2022 18:51:47 +0000 (-0400) Subject: Merge pull request #289 from jppelteret/adolc_01 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e5a8b0d8a82abe76f7bddd2576c8633e55def7e0;p=candi.git Merge pull request #289 from jppelteret/adolc_01 ADOL-C: Add default options that are most useful/defensive for users --- e5a8b0d8a82abe76f7bddd2576c8633e55def7e0