From: Wolfgang Bangerth <bangerth@colostate.edu>
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