summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile.disabled (renamed from Jenkinsfile)0
1 files changed, 0 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile.disabled
index 9c3b442..9c3b442 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile.disabled