bors accf6868ee Auto merge of #13178 - GuillaumeGomez:clippy-lints-page-improvement, r=Alexendoo ...

Add possibility to focus on search input using keyboard

This PR adds the possibility to focus on the search input with `S` or `/` like in rustdoc and `mdbook` and `docs.rs` (unification++). Pressing escape will blur it.

r? `@Alexendoo`

changelog: Add possibility to focus on search input using keyboard

2024-07-29 19:58:12 +00:00

..

etc

Port clippy away from compiletest to ui_test

2023-06-26 14:13:07 +00:00

gh-pages

Auto merge of #13178 - GuillaumeGomez:clippy-lints-page-improvement, r=Alexendoo

2024-07-29 19:58:12 +00:00

fetch_prs_between.sh

Fix changelog PR listings, create them automatically in fetch_prs_between.sh

2023-07-07 12:07:05 +00:00

versions.py

Fix version.py after deleting v* dirs

2023-06-17 10:05:06 +02:00