source: vbox@ 90355

Name	Size	Rev	Age	Author	Last Change
trunk		90355	4 years	vboxsync	configure: Use $DEVDIR to refer to the tools directory consistently. …

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