aszlig 8a5d9bad94 Update VirtualBox to version 4.1.18. ... This should make #15 obsolete, as those patches were cherry-picked from upstream.		2012-07-03 08:44:35 -04:00
..
guest-additions	Update VirtualBox to version 4.1.18.	2012-07-03 08:44:35 -04:00
default.nix	Update VirtualBox to version 4.1.18.	2012-07-03 08:44:35 -04:00