Skip to content

Merge pull request #12 from SimeonEhrig/cleanUpDoc #17

Merge pull request #12 from SimeonEhrig/cleanUpDoc

Merge pull request #12 from SimeonEhrig/cleanUpDoc #17

Triggered via push September 27, 2023 07:47
Status Success
Total duration 2m 50s
Artifacts
Fit to window
Zoom out
Zoom in