]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8057 from bangerth/cleanup
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 10 May 2019 05:12:26 +0000 (01:12 -0400)
committerGitHub <noreply@github.com>
Fri, 10 May 2019 05:12:26 +0000 (01:12 -0400)
commit308b4f0885c81759176c405e09dbec495d5ae0dc
tree592f3276d191efbcf745b97720dc81c359c78784
parent5d8c8a91c77fc9ec145ef3fa7536278d474b9892
parent93f34f514eeb29a761e548071eaf8e3f2bc1c230
Merge pull request #8057 from bangerth/cleanup

Clean up various loops in grid_tools.cc.
source/grid/grid_tools.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.