- Jul 07, 2021
-
-
- Jun 01, 2021
-
-
- May 31, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
The commands (e.g. pipeline queries via API) may contain sensible information that we don't want to display e.g. in the output of jobs from the GitLab CI
-
Dennis Gläser authored
-
- May 27, 2021
-
-
- May 25, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
also, do not only check the current project headers, as downstream modules may want to test against changes in dumux
-
Dennis Gläser authored
-
- May 19, 2021
-
-
- May 18, 2021
-
-
hanchuan authored
-
hanchuan authored
-
Dennis Gläser authored
-
- May 17, 2021
-
-
Timo Koch authored
-
-
-
Dennis Gläser authored
-
- May 12, 2021
-
-
Dennis Gläser authored
-
- May 11, 2021
-
-
Dennis Gläser authored
[docker] set git user e.g. for applying patches
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Martin Utz authored
-
- Apr 30, 2021
-
-
Dennis Gläser authored
-
- Apr 28, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
-
- Apr 07, 2021
-
-
Timo Koch authored
has been replaced by the Python script installdumux.py
-
- Apr 04, 2021
-
-
Timo Koch authored
-
- Feb 26, 2021