You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Gokul Soumya de8ade8967 Shorten embedded command descriptions (#3070) ... * Shorten embedded command descriptions - Compact descriptions in command palette and infobox * Shorten typed command descriptions * Fix typo in decrement command description		2 years ago
..
src	Shorten embedded command descriptions (#3070)	2 years ago
theme	fix typos (#2304)	2 years ago
.gitignore	Add book/ (mdbook based user guide)	3 years ago
book.toml	Improve docs, fix up a few highlight scopes	3 years ago