]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17052 from bangerth/fix-include
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 21 May 2024 16:08:41 +0000 (18:08 +0200)
committerGitHub <noreply@github.com>
Tue, 21 May 2024 16:08:41 +0000 (18:08 +0200)
commit4fb6c325dba532f821ab28214220e616bcbb3165
treea0beb14cfcba256350264b7c2d343b8493150a4d
parentf92e316a1c85ea407d9b0f56487533e418542ff1
parent865efa46998b2df6f4f8a797619851e6bbb59882
Merge pull request #17052 from bangerth/fix-include

Fix the path to to-be-installed TaskFlow headers.

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.