diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 19:38:23 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 19:41:09 +0100 |
| commit | b4a5f1add31bafc6170216ac5a00c9c8a6d6a026 (patch) | |
| tree | 8031e7fa8d0af4d527d1983779ee182a02af90cc /userContent/theme | |
| parent | 90af1395504e7d853a5b984106598af046ec15ac (diff) | |
| download | jenkins.debian.net-b4a5f1add31bafc6170216ac5a00c9c8a6d6a026.tar.xz | |
reproducible: use the python script to build the package pages
for now this leaves a simple sh wrapper inside reproducible_common.sh to avoid
changing all scripts.
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions