- Dec 01, 2018
-
-
René Fritze authored
-
- Sep 28, 2017
-
-
René Fritze authored
which is now the current one in our debian dockers
-
- Jan 17, 2017
-
-
Dr. Felix Tobias Schindler authored
The 3.7 one was never updated to match the 3.8 one.
-
Dr. Felix Tobias Schindler authored
This reverts commit 3ef61814.
-
Dr. Felix Tobias Schindler authored
The original one was not the one from dune-xt-common
-
- Dec 06, 2016
-
-
René Fritze authored
-