Skip to content

Merge pull request #3 from MarvNC/fix-case-multiple-terms-in-def #35

Merge pull request #3 from MarvNC/fix-case-multiple-terms-in-def

Merge pull request #3 from MarvNC/fix-case-multiple-terms-in-def #35

Triggered via push December 23, 2023 09:33
Status Success
Total duration 14s
Artifacts
Fit to window
Zoom out
Zoom in