]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3598 from bangerth/fix-compilation
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 17 Nov 2016 03:01:06 +0000 (20:01 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 03:01:06 +0000 (20:01 -0700)
commit93de5b735b805bb2e1977bf5c85703210fcbd609
treed66fa44d747353a2cd29e0c72e405f5522f5fb37
parenta32026b97a82dbabd12237a40d9a2816bbeaac19
parent12fe42cfa7fdd01879eda13d7517545cec62dd0e
Merge pull request #3598 from bangerth/fix-compilation

Fix compilation.

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.