]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10406 from bangerth/tasks-3
authorMatthias Maier <tamiko@43-1.org>
Thu, 28 May 2020 18:58:36 +0000 (13:58 -0500)
committerGitHub <noreply@github.com>
Thu, 28 May 2020 18:58:36 +0000 (13:58 -0500)
commitf9e35efdc591389fc653b5e3e7c05294060b3b57
tree99569f1ea5689886681abbd47426e720c50da546
parent6d6e4f4d6d448c326e0ccf2c7a687289cae28e6c
parent98bb35b62099d1e64a92bcef8b44299bc749cade
Merge pull request #10406 from bangerth/tasks-3

Get rid of the TBB header files.

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.