]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6810 from masterleinad/fix_macos_indent
authorDenis Davydov <davydden@gmail.com>
Wed, 20 Jun 2018 21:46:16 +0000 (23:46 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Jun 2018 21:46:16 +0000 (23:46 +0200)
commit5ea43527cd558bb0783808557eec954219b99d67
treee40100157cc75a4fa68c33a102e3e46a16472fdd
parent95a79d5761e0f6a6caba4cea9cd2d18435f4d119
parent6ea6c651bf71f901c05a1b495ed31d5049732cdc
Merge pull request #6810 from masterleinad/fix_macos_indent

Fix macOS indenting

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.