HomeSoftware Heritage

Override locally the default flags

Description

Override locally the default flags

Details

Provenance
ardumontAuthored on Mar 21 2016, 2:44 PM
ardumontPushed on Mar 21 2016, 3:43 PM
Parents
rDMOD5ca1bda3aa29: Allow filtering unwanted directory when computing git hash
Branches
Unknown
Tags
Unknown
References
tag: v0.0.4