diff options
-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 | |||
![]() |
index : linux/manifests/el_manifests-rt.git | |
[no description] |
summaryrefslogtreecommitdiffstats |
-rw-r--r-- | Jenkinsfile.disabled (renamed from Jenkinsfile) | 0 |
diff --git a/Jenkinsfile b/Jenkinsfile.disabled index 9ae9f8b..9ae9f8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile.disabled | |||