]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1130 from bangerth/remove-unnecessary-data-element
authorMatthias Maier <tamiko@43-1.org>
Tue, 14 Jul 2015 13:19:37 +0000 (08:19 -0500)
committerMatthias Maier <tamiko@43-1.org>
Tue, 14 Jul 2015 13:19:37 +0000 (08:19 -0500)
commit2af60e7fa851d4f0ac474d2a71edc8f4d51c343a
treeb55356bc7d8c22ad22ae47a8492713fcafad9b42
parent287ae6e80b5d78f872337b042a294ff52fe6519b
parentbcc57800bd30a58b878dc75ae1a289b4f62307c9
Merge pull request #1130 from bangerth/remove-unnecessary-data-element

Remove storing data we end up not using.
source/distributed/tria.cc

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.