Due to excessive server load (and the resulting unavailability), we are making ongoing adjustments to the system.
This may cause service interruptions.
If you notice any interruptions lasting longer than 30 minutes, please contact admin@informatik.uni-wuerzburg.de
Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
