]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6124 from bangerth/fix-vector-tools
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 9 Apr 2018 14:25:38 +0000 (16:25 +0200)
committerGitHub <noreply@github.com>
Mon, 9 Apr 2018 14:25:38 +0000 (16:25 +0200)
commitc3cc112c34064e61ad73f451401a4fd9919fc96b
tree198f7c80c3d4ac3be6a82c9c39cf44fe0356ecdd
parent8816829983de28d37371647df4e94e1e21945c0b
parentb6d3b26c8d7599689b430950749699d2e3ab2d0a
Merge pull request #6124 from bangerth/fix-vector-tools

Fix VectorTools::integrate_difference()

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.