Skip to content

Merge pull request #114 from MaRDI4NFDI/small_fixes #23

Merge pull request #114 from MaRDI4NFDI/small_fixes

Merge pull request #114 from MaRDI4NFDI/small_fixes #23

Triggered via push December 21, 2023 12:37
Status Success
Total duration 1m 3s
Artifacts
Fit to window
Zoom out
Zoom in