]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10241 from tjhei/copyright-script-go-deeper
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 16 May 2020 03:07:35 +0000 (05:07 +0200)
committerGitHub <noreply@github.com>
Sat, 16 May 2020 03:07:35 +0000 (05:07 +0200)
commit69fc9d0b55774e58cc86383e440e740e7956e856
tree2a70a759b87d72a348fedc3e8a9dbea11035d714
parent32a49bf9a68dd0303b835f0e5719d858270a8240
parent409ada17c63c5c7b8eed82430d322206a76e54a7
Merge pull request #10241 from tjhei/copyright-script-go-deeper

fix update-copyright not going 2 levels deep into src/include

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.