diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-07 12:20:30 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-07 14:21:15 +0200 |
| commit | a3ba927a30580c6ce2732613296d167698cec0fe (patch) | |
| tree | 9f3fb840aef1145aa8e20fe6d5406f62cccf8b66 /bin/maintenance.sh | |
| parent | faeb8f47d0f7d88264718b40fb4375bf96bf33aa (diff) | |
| download | jenkins.debian.net-a3ba927a30580c6ce2732613296d167698cec0fe.tar.xz | |
reproducible: notes: re-add a call to the _html_notes.py script, otherwise the webui would not be updated anymore
Diffstat (limited to 'bin/maintenance.sh')
0 files changed, 0 insertions, 0 deletions