From: Matthias Maier Date: Tue, 28 Jul 2015 18:45:48 +0000 (-0500) Subject: Merge pull request #1200 from tjhei/set_thread_limit X-Git-Tag: v8.4.0-rc2~709 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=006791272d5b2693002cd50c21366de9f47eff7f;p=dealii.git Merge pull request #1200 from tjhei/set_thread_limit rework set_thread_limit() --- 006791272d5b2693002cd50c21366de9f47eff7f