diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-14 18:43:28 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-02-14 18:43:28 +0100 |
commit | b7716c8830360b918e7c56fe1646b8368cc193fb (patch) | |
tree | 3de8bd796453fcaef76f58786c7c301615b7cfb4 /live/config/chroot_local-includes | |
parent | 00677a10769191f3ed05f6762fad84bebfee3111 (diff) | |
download | jenkins.debian.net-b7716c8830360b918e7c56fe1646b8368cc193fb.tar.xz |
reproducible: html_notes: print the actual number of categorized packages, not all noted packages
Diffstat (limited to 'live/config/chroot_local-includes')
0 files changed, 0 insertions, 0 deletions