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 /features/domains/storage_pool.xml | |
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 'features/domains/storage_pool.xml')
0 files changed, 0 insertions, 0 deletions