makefile: make sure *.vrb files are cleaned up
Description
Description
Details
Details
- Provenance
zack Authored on Mar 23 2018, 8:03 PM zack Pushed on Mar 23 2018, 8:03 PM - Parents
- rMSLDbebd380e370f: Merge branch 'master' of ssh://forge.softwareheritage.org/diffusion/64/slides
- Branches
- Unknown
- Tags