]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12006 from bangerth/whitespace
authorJean-Paul Pelteret <jppelteret@gmail.com>
Sun, 4 Apr 2021 19:42:21 +0000 (21:42 +0200)
committerGitHub <noreply@github.com>
Sun, 4 Apr 2021 19:42:21 +0000 (21:42 +0200)
commit357d079338e5526a7fe8d07896934104873aa0e0
treed588cc7aa66683bf902e41c8852c8e7a68e085cb
parent1c978739491f1503cd12cd2abcc07a9b5ff0432e
parent7d0b5509a0f5c13045cf97b1c38a402882e79295
Merge pull request #12006 from bangerth/whitespace

Unify endlines at the end of files.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.