CI: Remove now unused sources.list file

naiiveprojects · Nov 7, 2024 · 12e9b22 · 12e9b22
1 parent 2200e5a
commit 12e9b22
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/misc/ci/sources.list b/misc/ci/sources.list