Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 2 mo ago
Took 1 hr 2 min on Rechenknecht
Success

Faust-Edition Site Generation (Jun 30, 2022, 2:09:22 PM)

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