]> https://gitweb.dealii.org/ - dealii.git/commit
Mark a few things as [[noreturn]].
authorDavid Wells <wellsd2@rpi.edu>
Fri, 4 May 2018 00:28:37 +0000 (20:28 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Fri, 4 May 2018 01:25:01 +0000 (21:25 -0400)
commit5d7eda9b4c1a39c52d04ce98c1bf5d3a5e417929
treeae54448b1c09e1c48d14c701566afaaa557afd3b
parentf71a190d8813194f6d455c2ec610dd3b87759e29
Mark a few things as [[noreturn]].
include/deal.II/base/thread_management.h
source/base/thread_management.cc

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.