]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7237 from bangerth/mutex-5
authorDavid Wells <drwells@email.unc.edu>
Thu, 27 Sep 2018 14:52:35 +0000 (10:52 -0400)
committerGitHub <noreply@github.com>
Thu, 27 Sep 2018 14:52:35 +0000 (10:52 -0400)
commitfb8d3e00c29f1d0be58bc431d33a14b62d1415d3
tree00c570f76a6384626fa7d52bb3381a2aa7e7737e
parent0e907303ccb8fb42cc14c19156cb94872d9e7f75
parent13648c321694d0fe74ecbe5acafb058d729186eb
Merge pull request #7237 from bangerth/mutex-5

Update documentation of Threads::Mutex.

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.