]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9206 from bangerth/tasks
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 7 Jan 2020 17:17:27 +0000 (12:17 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 17:17:27 +0000 (12:17 -0500)
commit76e3d082490f85dca2f95d498d1405bcdf132db8
tree67143f4826a0878ae83edca69277340538c66aea
parent3c37a43f5c5f7b721d119c925a5c8f7556ac58b8
parent9cd882b3983f9f4edd96ffb5e9a52f9b903f805a
Merge pull request #9206 from bangerth/tasks

Provide TaskGroup::size().

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.