From: Timo Heister Date: Sat, 22 Mar 2025 01:31:08 +0000 (-0400) Subject: Merge pull request #18275 from tjhei/trilinos-remove-before-13 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f173123fa38c4c8e6c841d6542f6de4d20b66046;p=dealii.git Merge pull request #18275 from tjhei/trilinos-remove-before-13 Trilinos: remove <13.2 code --- f173123fa38c4c8e6c841d6542f6de4d20b66046