diff options
| author | Philip Hands <phil@hands.com> | 2016-05-12 10:59:31 +0200 |
|---|---|---|
| committer | Philip Hands <phil@hands.com> | 2016-05-12 10:59:31 +0200 |
| commit | a097201c33d8573b1cc2f9a153df708d01fa3c98 (patch) | |
| tree | 9604c0b0fdb7311fa67aa7294b8024932ace26bb /hosts/jenkins/usr/local | |
| parent | 2af354a85e02deaf0d07a068d7be10817181d1be (diff) | |
| download | jenkins.debian.net-a097201c33d8573b1cc2f9a153df708d01fa3c98.tar.xz | |
tune the timing for the Gnome Desktop package instalation
Diffstat (limited to 'hosts/jenkins/usr/local')
0 files changed, 0 insertions, 0 deletions