diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:12:05 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-28 23:12:05 +0200 |
| commit | 7e1ccca464a1a007370503fba14a70a9d09e2f6a (patch) | |
| tree | 6d2f5d12f60555f8feb751350e9b026dbf2eb7ad /THANKS.head | |
| parent | a26d0bede7fb1c9f09df262a8342a4db3744aef9 (diff) | |
| download | jenkins.debian.net-7e1ccca464a1a007370503fba14a70a9d09e2f6a.tar.xz | |
reproducible: common.sh: define $BASE, pointing to the http-published directory.
also do some cleanup of defined but unused variables and directory creation
Diffstat (limited to 'THANKS.head')
0 files changed, 0 insertions, 0 deletions