]> https://gitweb.dealii.org/ - dealii.git/commit
Fix .pl extensions in copyright update script 16055/head
authorJan Philipp Thiele <thiele@wias-berlin.de>
Fri, 29 Sep 2023 15:39:48 +0000 (17:39 +0200)
committerJan Philipp Thiele <thiele@wias-berlin.de>
Fri, 29 Sep 2023 15:39:48 +0000 (17:39 +0200)
commitda78f3640cc0c43c2bd6443a22bc2dcd1b3b4fb4
treef40585e9170c500217a619c1d30e70c8309e3c31
parente8f57130d069e153ff96e41d2086e394e89c1954
Fix .pl extensions in copyright update script
contrib/utilities/update-copyright.sh

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.