diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-07-08 11:44:58 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-08 13:50:19 +0200 |
| commit | a03d782764a665c8b1cde954e59ff1d7f8eea7de (patch) | |
| tree | bb36b600d6640eefae37f6e2eb593e0668bcb11d /userContent/theme | |
| parent | 3c954457dc85ed3e8d98620a56eb514119aaea10 (diff) | |
| download | jenkins.debian.net-a03d782764a665c8b1cde954e59ff1d7f8eea7de.tar.xz | |
reproducible: html_{notes,packages}: avoid collecting garbage 3 times in a row. One is enough
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions