remove Jenkinsfiles

jelingi · Dec 12, 2023 · 5d7516b · 5d7516b
1 parent 091a152
commit 5d7516b
Showing 1 changed file with 0 additions and 73 deletions.
diff --git a/Jenkinsfile.properties b/Jenkinsfile.properties