src@ 4044

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