chiark / gitweb /
makebuildserver more robust codepath for vagrant destroy
authorMichael Pöhn <michael.poehn@fsfe.org>
Sat, 25 Mar 2017 01:48:00 +0000 (02:48 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit3c4b1dec849e20172a7bdaefe4cd29f018c6300c
tree7152b6e9432d19dddb8758694ccf1fa9b78b4721
parent7e8f7c65bc33ec7a6185907a2131a6c2e5e90132
makebuildserver more robust codepath for vagrant destroy
makebuildserver