HomeSoftware Heritage

move pg10 installation in base image

Description

move pg10 installation in base image

since it is needed also to build the doc

Details

Provenance
douarddaAuthored on Oct 10 2018, 2:31 PM
douarddaPushed on Oct 10 2018, 2:31 PM
Parents
rCDFJe77d585484d8: add .depends to gitignore
Branches
Unknown
Tags
Unknown