diff options
| author | tgrogers <[email protected]> | 2018-04-23 11:42:53 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2018-04-23 11:42:53 -0400 |
| commit | 4a3a875382a40f8b48bd086849e378c672c6d98b (patch) | |
| tree | d909462ad415b3868d354b2373f14641d36378d0 | |
| parent | b61a26eb163565cce292f7a2400b5fd82f3d2d10 (diff) | |
renaming the nightly file
| -rw-r--r-- | nightly.jenkinsfile (renamed from Jenkinsfile.nightly) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Jenkinsfile.nightly b/nightly.jenkinsfile index a8b5fc7..a8b5fc7 100644 --- a/Jenkinsfile.nightly +++ b/nightly.jenkinsfile |