Robin Gloster b88fc6c90e update vagrant to 1.7.2		2015-04-29 13:15:17 +02:00
..
default.nix	update vagrant to 1.7.2	2015-04-29 13:15:17 +02:00