src@ 4044

Name	Size	Rev	Age	Author	Last Change
../
VBox		4044	17 years	vboxsync	Attempted to fix linux builds.
testcase		2981	17 years	vboxsync	InnoTek -> innotek: all the headers and comments.
recompiler		4018	17 years	vboxsync	Updated headers
libs		3831	17 years	vboxsync	autogenerated, not used by our build system
bldprogs		3407	17 years	vboxsync	build fix if the BIOS code contains /* or */ :)
Makefile.kmk	1.2 KB	2981	17 years	vboxsync	InnoTek -> innotek: all the headers and comments.

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