From: Jean-Paul Pelteret Date: Sun, 4 Apr 2021 19:42:21 +0000 (+0200) Subject: Merge pull request #12006 from bangerth/whitespace X-Git-Tag: v9.3.0-rc1~246 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=357d079338e5526a7fe8d07896934104873aa0e0;p=dealii.git Merge pull request #12006 from bangerth/whitespace Unify endlines at the end of files. --- 357d079338e5526a7fe8d07896934104873aa0e0