chiark / gitweb /
delete .vagrant dir when cleaning up buildserver vm