From: Wolfgang Bangerth Date: Mon, 4 Sep 2023 22:31:14 +0000 (-0600) Subject: Merge pull request #15956 from peterrum/examples_header X-Git-Tag: relicensing~528 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b7729c72e9520f7193c3e18cead36b6866dba3d5;p=dealii.git Merge pull request #15956 from peterrum/examples_header Unify headers of tutorials --- b7729c72e9520f7193c3e18cead36b6866dba3d5