From: Daniel Arndt Date: Fri, 6 Jul 2018 08:44:00 +0000 (+0200) Subject: Merge pull request #6887 from masterleinad/fix_fe_headers X-Git-Tag: v9.1.0-rc1~942 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3419fb2f4ca4b3e1d9e21a4fc095e1ed2fbfb37f;p=dealii.git Merge pull request #6887 from masterleinad/fix_fe_headers Fix comments in @code blocks in fe headers --- 3419fb2f4ca4b3e1d9e21a4fc095e1ed2fbfb37f