diff options
Diffstat (limited to 'jenkinstool-real.conf')
| -rw-r--r-- | jenkinstool-real.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index b55021e..38765f6 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,4 @@ [config] log = /mnt/scratch/liw-scratch/jenkinstool.log jenkins-host = jenkins +mirror = http://192.168.122.1/debian |