HomeSoftware Heritage

.mrconfig: Remove bogus repository

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

Description

.mrconfig: Remove bogus repository

Details

Provenance
ardumontAuthored on Feb 8 2019, 10:23 AM
ardumontPushed on Feb 8 2019, 10:23 AM

Commit No Longer Exists

This commit no longer exists in the repository.