ci: remove obsolete settings.xml

ocpsoft · Nov 2, 2022 · 49bb0a0 · 49bb0a0
1 parent 9011c05
commit 49bb0a0
Showing 1 changed file with 0 additions and 17 deletions.
diff --git a/.github/settings.xml b/.github/settings.xml