chiark / gitweb /
vmtools: remove old vagrant workaround