chiark / gitweb /
leave VirtualBox `vagrant package` as it was originally
authorHans-Christoph Steiner <hans@eds.org>
Mon, 22 May 2017 13:50:32 +0000 (15:50 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:47 +0000 (20:06 +0200)
commit9ef936c21a361cbc5c2235a441187b68e453cb38
tree0f0328dd8f7aac43315fe3fc0ba66171287641ba
parent8f1fabfed618cf564ab844cffc459f0f9682b002
leave VirtualBox `vagrant package` as it was originally

We only need Vagrantfile hacks for KVM.
fdroidserver/vmtools.py
makebuildserver