diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-08 02:53:49 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-08 09:00:55 +0200 |
commit | 3092f9f22cf6b2a1d7ac2dc40160f042daffa00a (patch) | |
tree | 1f0471432436adc2441582dfaafc156aefbc9f0a /jenkins-home | |
parent | 44a11c07bbf484d3696c41be7770b7bd565b76c1 (diff) | |
download | jenkins.debian.net-3092f9f22cf6b2a1d7ac2dc40160f042daffa00a.tar.xz |
reproducible: drop all these debbindiff lockfiles thinghies. They are not really needed and causes only troubles
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions