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 /features/DebianLive/apt.feature | |
| parent | 4a4b2611e30f7d942757770f7a7067309d06e063 (diff) | |
| download | jenkins.debian.net-0eab6faefc17b5fab951485bad7bbc5a363dd56f.tar.xz | |
reproducible: db_maintenance: print out execution time infos
Diffstat (limited to 'features/DebianLive/apt.feature')
0 files changed, 0 insertions, 0 deletions