diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 17:42:40 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 19:41:09 +0100 |
commit | 81cf133083ee8597c6698994a657e0f24c16ee9e (patch) | |
tree | 9dd20de3a50c8ba08f26965b9384fc7bec7f4c16 /userContent/theme/debian.css | |
parent | 79815e5ba072791206bad5e50047dbefd1bd904c (diff) | |
download | jenkins.debian.net-81cf133083ee8597c6698994a657e0f24c16ee9e.tar.xz |
reproducible: use /var/lib/jenkins/reproducible.db instead of the userContent/ one
Diffstat (limited to 'userContent/theme/debian.css')
0 files changed, 0 insertions, 0 deletions