From: Luca Heltai Date: Tue, 17 Jan 2023 15:18:14 +0000 (+0100) Subject: Merge pull request #14677 from luca-heltai/stefanozampini/petsckokkos X-Git-Tag: v9.5.0-rc1~640 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=79d7641af80e60359f5be315cf3f47dbd0f5785a;p=dealii.git Merge pull request #14677 from luca-heltai/stefanozampini/petsckokkos Configure: support KOKKOS when found with PETSc --- 79d7641af80e60359f5be315cf3f47dbd0f5785a