From: Guido Kanschat Date: Mon, 6 Jul 2015 14:15:39 +0000 (+0200) Subject: Merge pull request #1089 from tjhei/clang_warning_pragma_warnings X-Git-Tag: v8.3.0-rc1~54 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5f4080209c0c801e462904315a1a5edc9ccf66fe;p=dealii.git Merge pull request #1089 from tjhei/clang_warning_pragma_warnings fix pragma warnings warnings... sigh :-( --- 5f4080209c0c801e462904315a1a5edc9ccf66fe