tippfehlr 5106a124ed Fix `file-picker.follow-symlinks` config option name in docs (#6685)		2023-04-10 10:09:45 -05:00
..
src	Fix `file-picker.follow-symlinks` config option name in docs (#6685)	2023-04-10 10:09:45 -05:00
theme	book: Use per-theme syntax-highlighting CSS variables (#5406)	2023-01-21 13:24:40 -06:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	chore(book): link repository (#5101)	2022-12-11 19:59:53 -06:00