Skip to content

docs: add special characters to recommended keybinds#691

Open
darukutsu wants to merge 1 commit intoms-jpq:coqfrom
darukutsu:coq
Open

docs: add special characters to recommended keybinds#691
darukutsu wants to merge 1 commit intoms-jpq:coqfrom
darukutsu:coq

Commits

Commits on Apr 1, 2025