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.

Nicolas Karolak a7b8b27abf chore: add ruff and jedi lsp servers (#11630) ... * chore: add ruff lsp server Ruff provide a `server` command that starts a LSP server: https://docs.astral.sh/ruff/editors/#language-server-protocol * chore: add jedi lsp server [jedi-language-server](https://github.com/pappasam/jedi-language-server) is a Python LSP server based the popular [jedi](https://jedi.readthedocs.io/en/latest/) library. * docs: add ruff and jedi as python lsp servers		2 months ago
..
src	chore: add ruff and jedi lsp servers (#11630)	2 months ago
theme	update with new mdbook index.hbs (#8445)	1 year ago
.gitignore	Add book/ (mdbook based user guide)	4 years ago
book.toml	use AND operator when searching (#7839)	1 year ago
custom.css	Fix search highlighting for the default docs theme (#8270)	1 year ago