]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a462af1 8fd8153)
Merge pull request #8467 from katcosburn/refinement-clarification
authorDavid Wells <drwells@email.unc.edu>
Sat, 10 Aug 2019 17:49:29 +0000 (11:49 -0600)
committerGitHub <noreply@github.com>
Sat, 10 Aug 2019 17:49:29 +0000 (11:49 -0600)
Clear up confusion about what kind of refinement is to be explored


Trivial merge
Mirror of the development repository for deal.II

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.