Volker Ruppert 190b9391cf - delete the device object in the plugin_fini() function of each plugin device ...

(TODO: find a way to call plugin_fini() for non-core devices if plugins are
   disabled)
- set the device pointers back to stubs after unloading plugins
- added debug message "Exit" in all device plugin destructors

2006-09-10 17:18:44 +00:00

bochs

- delete the device object in the plugin_fini() function of each plugin device

2006-09-10 17:18:44 +00:00

bochs-performance

…

bochs-testing

- add results and conclusion

2002-11-19 15:56:26 +00:00

CVSROOT

…

sfsite

- updates for release 2.3

2006-08-27 14:59:01 +00:00

Description

No description provided

48 MiB

Languages

C++ 69.5%

C 21.2%

Shell 3%

Makefile 2.1%

Rez 1.9%

Other 2.1%