diff options
author | Philip Hands <phil@hands.com> | 2015-12-13 22:01:04 +0100 |
---|---|---|
committer | Philip Hands <phil@hands.com> | 2015-12-13 22:01:04 +0100 |
commit | c92a78c2ee5bfa44d29583ab81308773952a1947 (patch) | |
tree | 316756e046ced10090fd42308ceba2879dfa91f1 /debian/jenkins.debian.net-setup.install | |
parent | cb8097e291c43b050b0f64ca0384a32dd32e9133 (diff) | |
download | jenkins.debian.net-c92a78c2ee5bfa44d29583ab81308773952a1947.tar.xz |
get rid of some duplication (shame about the need for my_shellext)
Diffstat (limited to 'debian/jenkins.debian.net-setup.install')
0 files changed, 0 insertions, 0 deletions