Jaakko Paju d5c2973cd1 Fix repeat last motion for goto next/prev diagnostic (#9966)		2024-03-23 15:25:08 +09:00
..
src	Fix repeat last motion for goto next/prev diagnostic (#9966)	2024-03-23 15:25:08 +09:00
theme	update with new mdbook index.hbs (#8445)	2023-10-03 10:17:32 +09:00
.gitignore
book.toml	use AND operator when searching (#7839)	2023-08-08 15:22:52 +02:00
custom.css	Fix search highlighting for the default docs theme (#8270)	2023-09-13 16:37:39 +02:00