source: vbox@ 29132

Name	Size	Rev	Age	Author	Last Change
trunk		29132	15 years	vboxsync	EFI: ose vbox.dsc file for 64-bit firmware.

Note: See TracBrowser for help on using the repository browser.