diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh (renamed from bin/reproducible_master_wrapper.sh) | 0 | ||||
| -rwxr-xr-x | bin/jenkins_node_wrapper.sh (renamed from bin/reproducible_node_wrapper.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/bin/reproducible_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index e11aec05..e11aec05 100755 --- a/bin/reproducible_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh diff --git a/bin/reproducible_node_wrapper.sh b/bin/jenkins_node_wrapper.sh index fa0fac13..fa0fac13 100755 --- a/bin/reproducible_node_wrapper.sh +++ b/bin/jenkins_node_wrapper.sh |