]> https://gitweb.dealii.org/ - dealii.git/commit
Remove now redundant namespace identifier. 14187/head
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 8 Aug 2022 15:08:23 +0000 (11:08 -0400)
committerMarc Fehling <mafehling.git@gmail.com>
Sun, 14 Aug 2022 00:34:31 +0000 (20:34 -0400)
commit51418f1e04eb5691fe309442f7177bce895ba316
tree8f68547523514002b8ca5ccb61c4495c6ad565f1
parentd07c56ea8383bb2821d1bf7fa122208b7505bf0f
Remove now redundant namespace identifier.
include/deal.II/hp/refinement.h
source/hp/refinement.cc
source/hp/refinement.inst.in

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.