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 /userContent | |
| 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 'userContent')
0 files changed, 0 insertions, 0 deletions