Guillaume Gomez 102e39fa51 Remove CSS bootstrap dependency		2025-08-06 11:46:53 +02:00
..
etc	remove non-existent pathspec from pre-commit hook	2025-04-23 00:47:43 +02:00
gh-pages	Remove CSS bootstrap dependency	2025-08-06 11:46:53 +02:00
fetch_prs_between.sh	Merge commit 'd9c24d1b1e' into clippyup	2023-07-17 10:22:32 +02:00
versions.py	Lint docs: Sort versions, so that stable comes first	2025-06-26 19:59:04 +02:00