Skip to content
[Jenkins]Jenkins
log in
Not built

#714 (Jul 16, 2020, 1:01:13 PM)

Started 4 yr 4 mo ago
Took 10 ms on Rechenknecht

Identified problems

No identified problem

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

Changes
  1. remove lots of unused code in comments (details)
  2. remove unused/uncalled code (details)