Skip to content

Docs: Notes for Hotkeys F2/Del added#3121

Merged
mergify[bot] merged 1 commit intomainfrom
docs/hotkeys_note
Aug 5, 2025
Merged

Docs: Notes for Hotkeys F2/Del added#3121
mergify[bot] merged 1 commit intomainfrom
docs/hotkeys_note

Commits

Commits on Aug 5, 2025