diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-03 02:20:36 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-03 02:21:35 +0100 |
| commit | ef684e08249f456ebe4410df7cf35470a24c7262 (patch) | |
| tree | b0d1f97e1f99e4a1c58757738188c1c1e70a6b7e /userContent/theme/debian.css | |
| parent | 8de56a9f5751d8199cd497031739560b298dd344 (diff) | |
| download | jenkins.debian.net-ef684e08249f456ebe4410df7cf35470a24c7262.tar.xz | |
reproducible: common.py: drop all the general querying + log.info done while loading the machinary. they are not really needed
Diffstat (limited to 'userContent/theme/debian.css')
0 files changed, 0 insertions, 0 deletions