]> https://gitweb.dealii.org/ - dealii.git/commit
remove redundant documentation 10458/head
authorNiklas Fehn <fehn@lnm.mw.tum.de>
Thu, 4 Jun 2020 19:31:15 +0000 (21:31 +0200)
committerNiklas Fehn <fehn@lnm.mw.tum.de>
Thu, 4 Jun 2020 19:31:15 +0000 (21:31 +0200)
commite2ecf074f0be44fc4ba2b811bd8781287eda550b
tree00b59949782103c8745f337111486ae9f5127ea9
parent737bc3c929929cbbcc7e1005a6eb28d98b510778
remove redundant documentation
include/deal.II/grid/grid_tools.h

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.