whoops, add missing files for deb packaging
Description
Description
Details
Details
- Provenance
chris Authored on Jul 5 2020, 5:59 PM chrisw Pushed on Jul 5 2020, 5:59 PM - Parents
- R4:3d66d2dd67bf: Don't remove *gz from docs, because that blocks pbuilder in some
- Branches
- Unknown
- Tags