update most machinery for deb in ci
Description
Description
Details
Details
- Provenance
chris Authored on Jul 5 2020, 1:03 AM chrisw Pushed on Jul 5 2020, 1:04 AM - Parents
- R4:6b986e4e6a69: improving premake, preparing for debianization
- Branches
- Unknown
- Tags