Liebe GitLab-Nutzerin, lieber GitLab-Nutzer,

am kommenden Sonnabend, den 24.08.2019, finden in der Zeit von 8:00 bis 17:00 Uhr Wartungsarbeiten am GitLab-Server statt. In diesem Zeitraum steht Ihnen der Gitlab-Dienst nicht zur Verfügung. Wir bitten Sie dafür um Verständnis.

Die Administratoren

Dear GitLab-User,

the GitLab server will be maintained next Saturday, 24.8.2019, from 8am to 5pm. The GitLab service will be not available in that time. We apologise for any inconvenience caused.

The administrators

Name
Last commit
Last update
cmake Loading commit data...
doc Loading commit data...
dune Loading commit data...
examples Loading commit data...
external Loading commit data...
test Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
AUTHORS Loading commit data...
CMakeLists.txt Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
dune-dec.pc.in Loading commit data...
dune.module Loading commit data...
gitlab-ci.clang.opts Loading commit data...
gitlab-ci.gcc.opts Loading commit data...