From: Wolfgang Bangerth Date: Fri, 17 Nov 2023 15:01:16 +0000 (-0700) Subject: Merge pull request #16276 from RichardYCJ/master X-Git-Tag: relicensing~293 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6d5f49915e298fdacfeb63e3ba0e1587aed7f8c1;p=dealii.git Merge pull request #16276 from RichardYCJ/master Remove unused variable and header files --- 6d5f49915e298fdacfeb63e3ba0e1587aed7f8c1