Volker Ruppert 9916e37819 The configure script now generates makefile for user plugins if directory ... exists. Updated the user plugins example patch.		2017-01-08 09:34:19 +00:00
..
bochs-bios-win32.diff	- deleted executable properties from source files	2011-04-03 10:29:19 +00:00
HEADER	some more docs updates with cvs->svn transition	2011-11-07 19:20:11 +00:00
NOTES	- used to be specific to bugfix2; made it more generic	2001-05-02 03:11:58 +00:00
patch.decode-interrupts.gz	Patch name: patch.decode-interrupts	2002-11-21 01:25:18 +00:00
patch.example-override-ask	- updated override-ask example	2012-04-15 12:51:33 +00:00
patch.example-user-plugin	The configure script now generates makefile for user plugins if directory	2017-01-08 09:34:19 +00:00
patch.example-vdisk-dll	added example patch that shows how to write the VDISK.DLL source	2013-03-11 18:08:42 +00:00
patch.hosttime-port	- This patch enables the guest to read to host time (linux only).	2002-07-31 16:15:51 +00:00
patch.marklog	- These are the three patches that cegis submitted on the sf bug list	2002-05-01 21:07:13 +00:00