Skip to content

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

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

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

Triggered via push December 23, 2023 08:47
Status Success
Total duration 19s
Artifacts
Fit to window
Zoom out
Zoom in