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

File format description for ARH version 3

Name
Last commit
Last update
file_format.tex Loading commit data...