diff options
| author | Lars Wirzenius <liw@liw.fi> | 2013-04-06 11:44:11 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2013-04-06 11:44:11 +0100 |
| commit | 3a4c51c85a66e51377740f2057dfcaab9bf58482 (patch) | |
| tree | 6e9fbae2b4a5ddb7d64463e5dcd43c9653057a29 /jenkinstool-real.conf | |
| parent | e4526f0f0ba7e25b88d3fe7e60dc40e0f74ca6ac (diff) | |
| download | jenkinstool-3a4c51c85a66e51377740f2057dfcaab9bf58482.tar.gz | |
Fix stuff and start adding wheezy workers
Diffstat (limited to 'jenkinstool-real.conf')
| -rw-r--r-- | jenkinstool-real.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index 2838f2a..668b3ab 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,3 @@ [config] log = foo.log -jenkins-host = 192.168.122.113 +jenkins-host = jenkins |