diff options
author | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 08:49:28 +0200 |
---|---|---|
committer | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 09:02:09 +0200 |
commit | c952bcae8feda72376ee76778737b51881ea63bd (patch) | |
tree | 7dad2d333b0266631212e94cfd3d6c612af192c2 /dist-tools/shipper/buildrpms | |
parent | ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e (diff) | |
download | fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.tar.gz fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.tar.bz2 fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.zip |
htmldoc: if missing, use dist-tools/htmldoc wrapper fallback
Diffstat (limited to 'dist-tools/shipper/buildrpms')
0 files changed, 0 insertions, 0 deletions