Liebe Gitlab-Nutzerin, lieber Gitlab-Nutzer,
es ist nun möglich sich mittels des ZIH-Logins/LDAP an unserem Dienst anzumelden. Die Konten der externen Nutzer:innen sind über den Reiter "Standard" erreichbar.
Die Administratoren


Dear Gitlab user,
it is now possible to log in to our service using the ZIH login/LDAP. The accounts of external users can be accessed via the "Standard" tab.
The administrators

Merge branch 'issue/discreteFunction' into 'master'

rename child() into discreteFunction()

See merge request !219
4 jobs for master
Status Job ID Name Coverage
  Test
canceled #21939
dune-2.6

canceled #21940
dune-2.7

canceled #21941
dune-git

canceled #21942
dune-git-full