search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

Fixed some typos in the settings. #765

Closed nbrader closed 5 months ago

rtetley commented 5 months ago

Thanks :-)