]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge remote-tracking branch 'upstream/master' into require_cxx17 15563/head
authorDaniel Arndt <arndtd@ornl.gov>
Sun, 2 Jul 2023 03:16:01 +0000 (23:16 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Sun, 2 Jul 2023 03:16:01 +0000 (23:16 -0400)
1  2 
include/deal.II/base/thread_management.h


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.