]> https://gitweb.dealii.org/ - dealii.git/commit
Add missing header 9020/head
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 7 Nov 2019 23:05:58 +0000 (18:05 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Thu, 7 Nov 2019 23:05:58 +0000 (18:05 -0500)
commit753ec69703e756549346bb458c7a5d136d7d1a8f
treeefc6014d6d5e1f45e7d7456f0518f62770abe6f3
parentabb5654a79e5d936bded7b11fef4d0f1f9e106a6
Add missing header
include/deal.II/hp/refinement.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.