HomeSoftware Heritage

makefile: make sure *.vrb files are cleaned up

Description

makefile: make sure *.vrb files are cleaned up

Details

Provenance
zackAuthored on Mar 23 2018, 8:03 PM
zackPushed on Mar 23 2018, 8:03 PM
Parents
rMSLDbebd380e370f: Merge branch 'master' of ssh://forge.softwareheritage.org/diffusion/64/slides
Branches
Unknown
Tags
Unknown