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=7f66c14fa26844c95a1a5fc564b35ae759704e4c;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 @@