From: Marc Fehling Date: Wed, 27 Dec 2023 22:28:48 +0000 (-0700) Subject: Merge pull request #16387 from bangerth/readme X-Git-Tag: relicensing~223 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bf6464c18805230183fbb626d2bbfdcf898f341;p=dealii.git Merge pull request #16387 from bangerth/readme Revise the top of the ReadMe file. --- 0bf6464c18805230183fbb626d2bbfdcf898f341