Skip to content

Merge pull request #1095 from texpert/bump-introjs-to-7-2-0 #322

Merge pull request #1095 from texpert/bump-introjs-to-7-2-0

Merge pull request #1095 from texpert/bump-introjs-to-7-2-0 #322

Triggered via push August 29, 2024 15:59
Status Success
Total duration 5m 32s
Artifacts
Matrix: spec
Fit to window
Zoom out
Zoom in