Thomas Gelf 8730360de7 One more menu.ini... we should clean up some duplicated files		2014-03-04 16:37:16 +00:00
..
files	One more menu.ini... we should clean up some duplicated files	2014-03-04 16:37:16 +00:00
manifests	Vagrant config files	2014-03-04 16:16:07 +00:00
modules	Vagrant: Fix first boot+provisioning of the virtual machine	2014-01-28 15:54:13 +01:00