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.

This is an archived project. Repository and other project resources are read-only.

SimpleFunctionalSet.java

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Admin message