From: Matthias Maier Date: Fri, 2 Mar 2018 22:06:45 +0000 (-0600) Subject: Merge pull request #5991 from tjhei/detailed-log-vectorization X-Git-Tag: v9.0.0-rc1~367 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0192cb7ec158402e1093eeab8c63dd0c99c03c97;p=dealii.git Merge pull request #5991 from tjhei/detailed-log-vectorization cmake: print vectorization level in detailed.log --- 0192cb7ec158402e1093eeab8c63dd0c99c03c97