]>
author | Luca Heltai <luca.heltai@sissa.it> | |
Thu, 21 Sep 2017 08:02:56 +0000 (10:02 +0200) | ||
committer | Luca Heltai <luca.heltai@sissa.it> | |
Thu, 21 Sep 2017 08:02:56 +0000 (10:02 +0200) |
include/deal.II/grid/grid_tools_cache.h | patch | blob | history | |
include/deal.II/grid/grid_tools_cache_update_flags.h | 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