]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9eb94c0 4267820)
Merge pull request #6554 from bangerth/patch-1
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Wed, 9 May 2018 14:33:56 +0000 (16:33 +0200)
committerGitHub <noreply@github.com>
Wed, 9 May 2018 14:33:56 +0000 (16:33 +0200)
Obtain the correct size for an output vector from the source, rather than from an output array.


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.