smartparens icon indicating copy to clipboard operation
smartparens copied to clipboard
verified publisher icon Fuco1

Getting the (**)) pair for comments in Coq

Open Fuco1 opened this issue 1 year ago • 0 comments

See https://github.com/Fuco1/smartparens/pull/1007

Fuco1 avatar Aug 01 '24 09:08 Fuco1