HomeSoftware Heritage

.mrconfig: Retire some old repositories

Description

.mrconfig: Retire some old repositories

Details

Provenance
olasdAuthored on Jun 12 2017, 5:34 PM
olasdPushed on Jun 12 2017, 5:34 PM
Parents
rDENV74507164b245: .mrconfig: merged listers in swh-lister.git
Branches
Unknown
Tags
Unknown