From: Jean-Paul Pelteret Date: Tue, 5 May 2020 21:29:48 +0000 (+0200) Subject: Merge pull request #10038 from drwells/remove-nonascii-math X-Git-Tag: v9.2.0-rc1~125 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=696ca175c0a7bd2564a6fa8b5330b30996f44290;p=dealii.git Merge pull request #10038 from drwells/remove-nonascii-math Remove some non-ascii characters. --- 696ca175c0a7bd2564a6fa8b5330b30996f44290