HomeSoftware Heritage

Remove file that should not have been committed and update gitignore

Description

Remove file that should not have been committed and update gitignore

Details

Provenance
anlambertAuthored on Feb 27 2018, 10:40 AM
anlambertPushed on Feb 27 2018, 10:56 AM
Parents
rDSTOd8ad992d8655: storage: Add methods to compute directories/revisions diff
Branches
Unknown
Tags
Unknown