source: vbox@ 69055

Name	Size	Rev	Age	Author	Last Change
trunk		69055	7 years	vboxsync	build fix: VGABIOS can't use IPRT types

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