From: Daniel Arndt Date: Sun, 28 Jun 2020 22:03:31 +0000 (-0400) Subject: Fix indentation X-Git-Tag: v9.3.0-rc1~1354^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10532%2Fhead;p=dealii.git Fix indentation --- diff --git a/doc/readme.html b/doc/readme.html index e8d370727d..e117e5df2f 100644 --- a/doc/readme.html +++ b/doc/readme.html @@ -63,7 +63,7 @@