]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4556 from bangerth/dofhandler-cleanup-3
authorMatthias Maier <tamiko@43-1.org>
Wed, 28 Jun 2017 11:17:25 +0000 (06:17 -0500)
committerGitHub <noreply@github.com>
Wed, 28 Jun 2017 11:17:25 +0000 (06:17 -0500)
commitce1d1e1e6acc0f85f589c73db333e646f99ab996
tree0cad327e28af848851ada418f75e4352cb68003a
parent4e3f9a01276a30de1bf7d5637c974809d7a89143
parent2058b39dae72baab43973b7d3aed744a7b457442
Merge pull request #4556 from bangerth/dofhandler-cleanup-3

Fix a wrong data type.

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.