]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14186 from drwells/misc-header-cleanup
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 16 Aug 2022 13:51:37 +0000 (09:51 -0400)
committerGitHub <noreply@github.com>
Tue, 16 Aug 2022 13:51:37 +0000 (09:51 -0400)
commit276cfaa7eeebf2f5c211b39dd2c03c488f3128fd
tree9d50068d8e6673c4a5da57bcca39848d67b84e86
parenta5bfd2bf62799d2f5e72dfefc38c3a9533dd7eeb
parente7ca1dd30a64575f55e2702494dcaac1c882e3fc
Merge pull request #14186 from drwells/misc-header-cleanup
include/deal.II/base/index_set.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.