From: Jean-Paul Pelteret Date: Tue, 20 Feb 2018 20:54:22 +0000 (+0100) Subject: Merge pull request #5933 from sophy1029/fix-hats X-Git-Tag: v9.0.0-rc1~409 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3722bcc26f7e36e79cb0ddadf0abd4573f522ff5;p=dealii.git Merge pull request #5933 from sophy1029/fix-hats Fix the location of hats on symbols in the documentation. --- 3722bcc26f7e36e79cb0ddadf0abd4573f522ff5