]> https://gitweb.dealii.org/ - dealii.git/commit
remove dead code from source 12286/head
authorMatthias Maier <tamiko@43-1.org>
Sat, 22 May 2021 15:39:49 +0000 (10:39 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 22 May 2021 15:39:49 +0000 (10:39 -0500)
commitaabd4d8d6024a737c3e0de1d262c887e73e1b433
treec61307c7ca1e8cca80541a6469dc6850c357373b
parentcfa494fa894a7cad9583ad5204b813e50dd3498e
remove dead code from source
source/base/multithread_info.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.