chiark / gitweb /
Tidy up/fix some vagrant issues