Skip to content

Rename KittiInput to GenericPointInput #30

Rename KittiInput to GenericPointInput

Rename KittiInput to GenericPointInput #30

Triggered via push December 15, 2023 14:15
Status Success
Total duration 6m 25s
Artifacts
Fit to window
Zoom out
Zoom in