]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9244 from tjhei/jenkins-osx-increase-timeout
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 7 Jan 2020 15:03:26 +0000 (08:03 -0700)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 15:03:26 +0000 (08:03 -0700)
commit8631b4f6ba2f87b32a82e0e9072852f3682ccd48
tree77bad0b663f6e40e5cdb05f3efdf98b9cd7b3c31
parentc1979212c341369b5cfccabb0143b65cb103be40
parent04e587a2dc182d10220aad5bf827d64b808b2f87
Merge pull request #9244 from tjhei/jenkins-osx-increase-timeout

jenkins: increase OSX timeout

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.