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