Skip to content
[Jenkins]Jenkins
log in
Success

#608 (Jun 30, 2022, 2:09:22 PM)

Started 2 yr 4 mo ago
Took 1 hr 2 min on Rechenknecht
Changes
  1. Make JSON generation work with files with spaces. (commit: d33d2f4) (details)