]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6284 from tamiko/fix_cornercase
authorTimo Heister <timo.heister@gmail.com>
Mon, 23 Apr 2018 21:54:29 +0000 (17:54 -0400)
committerGitHub <noreply@github.com>
Mon, 23 Apr 2018 21:54:29 +0000 (17:54 -0400)
commitc77ee6a99de6adcc3eeadee9ceb9ce1a1d30e679
treed380271222fc72f7e59da9d3909701bde901ccfb
parent3eaaf572b92df60e9647a081191d7182ff7ab67b
parent8623aae6cd10cd672d26d71125fd53c91cf6f5ec
Merge pull request #6284 from tamiko/fix_cornercase

Tests: Always create a small 'detailed.log' file

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.