Skip to content

Simplify districts : renaming + make an add(...) function more simple #1413

Simplify districts : renaming + make an add(...) function more simple

Simplify districts : renaming + make an add(...) function more simple #1413

Triggered via push July 24, 2024 09:10
Status Success
Total duration 1m 50s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pdf-reference-guide Expired
1.32 MB