Philipp Dreher c414f0c43e Meta: Switch to different source for pre-commit feature in dev-container		2025-06-21 20:18:23 +02:00
..
features	Devcontainer: Update to llvm 20	2025-05-14 19:43:52 -04:00
fedora-ci	Devcontainer: Update fedora devcontainer to version 42	2025-05-08 03:21:15 -06:00
optimized	Meta: Use the correct organization name for the devcontainer base	2024-10-12 13:43:04 -06:00
devcontainer.json	Meta: Switch to different source for pre-commit feature in dev-container	2025-06-21 20:18:23 +02:00