]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1766 from bangerth/fix-compilation
authorTimo Heister <timo.heister@gmail.com>
Tue, 20 Oct 2015 16:05:15 +0000 (12:05 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 20 Oct 2015 16:05:15 +0000 (12:05 -0400)
commit87afa2bc4d56508e36a4acff4a280f25f3867068
tree210c6365318c57a0909eb0cb792913b771a9136f
parent66fe1c44a200545d0d77afc9b0f238af658252ba
parent430371cb63265a37dbe6a7a32abbcb0aec29cc58
Merge pull request #1766 from bangerth/fix-compilation

Fix compilation of (currently unused) header 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.