Started 3 yr 8 mo ago
Took 1 ms on Rechenknecht

Build #116 (Jul 9, 2020, 3:35:12 PM)

Changes
  1. indent pom.xml (details)
  2. cleanup pom.xml (details)
  3. remove snapshots from dependencies, use gwdg nexus (details)

Identified problems

No identified problem

No problems were identified. If you know why this problem occurred, please add a suitable Cause for it.