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 99796df..99796df 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile.disabled