From: Timo Heister Date: Thu, 6 Aug 2015 22:03:18 +0000 (-0500) Subject: Merge pull request #1295 from tamiko/windows_fixes_2 X-Git-Tag: v8.4.0-rc2~657 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=15ef73e4c687be830e15b17fd28c03adc01c43a1;p=dealii.git Merge pull request #1295 from tamiko/windows_fixes_2 Windows fixes 2 --- 15ef73e4c687be830e15b17fd28c03adc01c43a1