]>
author | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Tue, 26 Jun 2018 00:34:38 +0000 (02:34 +0200) | ||
committer | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Thu, 28 Jun 2018 07:48:36 +0000 (09:48 +0200) |
include/deal.II/base/index_set.h | patch | blob | history | |
source/numerics/error_estimator_1d.cc | patch | blob | history |
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