Started 1 yr 10 mo ago
Took 1 hr 2 min on Rechenknecht

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

Changes
  1. Make JSON generation work with files with spaces. (commit: d33d2f4) (details)