Skip to content

Insert point on segment by clicking once (no more sliding) and Alt+click to delete a segment #2375

Insert point on segment by clicking once (no more sliding) and Alt+click to delete a segment

Insert point on segment by clicking once (no more sliding) and Alt+click to delete a segment #2375

Triggered via pull request April 26, 2025 08:56
Status Skipped
Total duration
Artifacts

comment-clippy-warnings.yaml

on: pull_request
Run Clippy
0s
Run Clippy
Fit to window
Zoom out
Zoom in