Delete unnecessary jenkins-settings.xml

kiegroup · Oct 13, 2023 · a452cfb · a452cfb
1 parent cf41681
commit a452cfb
Showing 1 changed file with 0 additions and 80 deletions.
diff --git a/jenkins-settings.xml b/jenkins-settings.xml