]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11417 from tjhei/ci_osx_no_indent
authorPeter Munch <peterrmuench@gmail.com>
Fri, 25 Dec 2020 12:49:33 +0000 (13:49 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Dec 2020 12:49:33 +0000 (13:49 +0100)
commitd60b6e9e68073050beeec120978937b1223bdf6b
tree3166bbb69b42640e076696bad29eab6db49f3ac5
parent75571a0a22be0d3dee76dd272a5963d59b940cf6
parent6964fee053713fe60419f8a32c12a74202b052a0
Merge pull request #11417 from tjhei/ci_osx_no_indent

CI: remove unnecessary OSX setup steps

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.