Skip to content

rename point_types to point_xyzir #198

rename point_types to point_xyzir

rename point_types to point_xyzir #198

Triggered via pull request August 16, 2024 03:09
Status Success
Total duration 13s
Artifacts
spell-check-differential
6s
spell-check-differential
Fit to window
Zoom out
Zoom in