HomeSoftware Heritage

Use .mrconfig to check whether we're in a mr repo

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Use .mrconfig to check whether we're in a mr repo

Details

Provenance
olasdAuthored on Nov 27 2019, 10:45 AM
olasdPushed on Nov 27 2019, 10:45 AM

Commit No Longer Exists

This commit no longer exists in the repository.