]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c4f044c 3d8b793)
Merge pull request #1161 from tjhei/r83_pr1148
authorMatthias Maier <tamiko@43-1.org>
Sat, 18 Jul 2015 18:04:23 +0000 (13:04 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 18 Jul 2015 18:04:23 +0000 (13:04 -0500)
[8.3] take over #1148: Workaround: fix compilation with icc and linear_operator


Trivial merge
Mirror of the development repository for deal.II

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.