Tags give the ability to mark specific points in history as being important
Aufgrund einer Wartung am 12.02.2025 von 14:30 bis 15:30 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 12.02.2025 from 14:30 to 15:30, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
v1.0: Enrichment facility with multiple feed commodities Please note that this facility is *not* backwards compatible because the input file requirements are different.
v0.2: FlexibleEnrichment with one feed commodity FlexibleSource present and FlexibleEnrichment only allows to use one feed commodity.