chiark / gitweb /
delete .vagrant dir when cleaning up buildserver vm
authorMichael Pöhn <michael.poehn@fsfe.org>
Fri, 24 Mar 2017 02:15:35 +0000 (03:15 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit8cfd3ca770bfa086782a575837b506fcb13d7ffc
treeeb5c52c821a5b1a6302cbf92dece40729e0cd726
parent437ff7c3f0f36d9832731746f6113a0bbd435a1b
delete .vagrant dir when cleaning up buildserver vm
makebuildserver