HomeSoftware Heritage

Migrate to the new debian loader

Authored by ardumont on Nov 14 2019, 1:44 PM.

Description

Migrate to the new debian loader

Related T2025

Details

Committed
ardumontNov 14 2019, 1:45 PM
Pushed
douarddaNov 26 2019, 1:34 PM
Differential Revision
D2275: docker-dev: Migrate to new debian loader
Parents
rDENVd1992ffd42ab: Add swh-search.
Branches
Unknown
Tags
Unknown