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.

CossonLeo 490919df4f Add rename_symbol to book/ (#1031) ... * rename_symbol book * Update book/src/keymap.md Co-authored-by: Blaž Hrastnik <blaz@mxxn.io> Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>		3 years ago
..
src	Add rename_symbol to book/ (#1031)	3 years ago
theme	Update mdbook style and fix unreadable table head (#806)	3 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