diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-16 18:28:31 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-04-16 18:31:04 +0200 |
commit | 59ca867373215c8490ac0af045254926bba0676e (patch) | |
tree | 7ea9064d1f952360ba369c98f77646bfb3a6d280 /etc/apt/apt.conf.d/80proxy | |
parent | 36798da6b02677f0d8d3808bb0541148d8e1c314 (diff) | |
download | jenkins.debian.net-59ca867373215c8490ac0af045254926bba0676e.tar.xz |
add deploy_kgb.py to automatically generate kgb confs. also change owner of /srv/jenkins to jenkins-adm instead of root. Another TODO bullet down!
Diffstat (limited to 'etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions