]> https://gitweb.dealii.org/ - dealii.git/commit
Remove unused fun_ptr_helper
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 31 Aug 2017 23:17:56 +0000 (01:17 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 31 Aug 2017 23:33:09 +0000 (01:33 +0200)
commit7af187b579739b4055bafc4b7bbb832d3777fe92
treebe2f286dc1f6389d8bebb79f61847a13ab2f1270
parenta1765d8a4850eff89523419fc0854ae1c003ce6d
Remove unused fun_ptr_helper
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.