source: vbox@ 6677

Name	Size	Rev	Age	Author	Last Change
trunk		6677	17 years	vboxsync	forward port from 1.5: build vditool for Linux if BUILD_TYPE=l4

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