-
- Downloads
Merge branch 'dev' into 'main'
Update documentation with new naming. See merge request !13
No related branches found
No related tags found
Please register or sign in to comment
Aufgrund eines Hardware-Upgrades wird git.rwth-aachen.de am 08.07.2025 zwischen 08:30 bis 09:00 Uhr kurz nicht zur Verfügung stehen.
--
Due to a hardware upgrade git.rwth-aachen.de will shorty be unavailable on 08.07.2025 between 08:30 and 09:00 o'clock.
Update documentation with new naming. See merge request !13