diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:22:14 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:39:07 +0200 |
commit | ed915317fcd79b719330d77f98e8378e27334636 (patch) | |
tree | 68aca2803be1c8bfc99b826cf4ebb902d4d0327e /live/config/chroot_local-includes/usr | |
parent | 7e1ccca464a1a007370503fba14a70a9d09e2f6a (diff) | |
download | jenkins.debian.net-ed915317fcd79b719330d77f98e8378e27334636.tar.xz |
reproducible: sed everything to use that $BASE variable instead of hardcoding /var/lib/jenkins/userContent (that's about to change rather soon)
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions