diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-29 14:18:01 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-29 14:18:01 +0200 |
commit | 0eab6faefc17b5fab951485bad7bbc5a363dd56f (patch) | |
tree | 991f5dd0b37b10b0a89913129be21561d16617ea /etc/schroot | |
parent | 4a4b2611e30f7d942757770f7a7067309d06e063 (diff) | |
download | jenkins.debian.net-0eab6faefc17b5fab951485bad7bbc5a363dd56f.tar.xz |
reproducible: db_maintenance: print out execution time infos
Diffstat (limited to 'etc/schroot')
0 files changed, 0 insertions, 0 deletions