HomeSoftware Heritage

.mrconfig: Add extlib

Description

.mrconfig: Add extlib

Details

Provenance
olasdAuthored on Oct 11 2016, 3:09 PM
olasdPushed on Oct 11 2016, 3:10 PM
Parents
rSENVf3bc6063b615: bin/update: tiny wrapper around git pull + mr up
Branches
Unknown
Tags
Unknown