- Downloads
add missing renaming
parent
d5c30d7b
Branches
Tags
This commit is part of merge request !2. Comments created here will be created in the context of that merge request.
Please sign in to comment
Aufgrund einer Wartung am 18.11.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 18.11.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.