Skip to content

add pin-related shortcuts to help modal#562

Merged
bakkot merged 1 commit intomainfrom more-helpNov 3, 2023

Commits