-
Steffen Müthing authored
This just uses /duneci/install as installation prefix for now.
0fb4df57
This just uses /duneci/install as installation prefix for now.
Name |
Last commit
|
Last update |
---|---|---|
base-10 | Loading commit data... | |
base-16.04 | Loading commit data... | |
base-8 | Loading commit data... | |
base-8-backports | Loading commit data... | |
base-9 | Loading commit data... | |
base-common | Loading commit data... | |
bin | Loading commit data... | |
config | Loading commit data... | |
docker-builder | Loading commit data... | |
dune-2.3 | Loading commit data... | |
dune-2.4 | Loading commit data... | |
dune-2.5 | Loading commit data... | |
dune-2.6 | Loading commit data... | |
dune-fufem | Loading commit data... | |
dune-fufem-git | Loading commit data... | |
dune-git | Loading commit data... | |
dune-pdelab-deps-2.6 | Loading commit data... | |
dune-pdelab-deps-git | Loading commit data... | |
proxy | Loading commit data... | |
.gitignore | Loading commit data... | |
.gitlab-ci.yml | Loading commit data... | |
README.md | Loading commit data... |