source: vbox@ 100506

Name	Size	Rev	Age	Author	Last Change
trunk		100506	17 months	vboxsync	Devices/EFI/Firmware: Build fix with newer gcc, bugref:10400

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