gvmtool/gvm-extensions — pull request #4 by eliasdorneles (2013-07-31 13:08:54+00:00)
Title: Changed installation to cleanup only extensions from the repository

Hi, Marco!

I noticed that the build file is removing all the contents of `~/.gvm/ext` on installation, potentially losing the user's own extensions.
I thought I'd made a small change for it to delete only the files matching the ones in the current project.