Volker Ruppert 74deb16b44 Since externally developed optional device plugins (AKA "user plugins") can be ... loaded in bochsrc with "plugin_ctrl" or with their own name, the user plugin option and the special cases for PLUGTYPE_USER are no longer needed. Updated example patch to make it work with the latest SVN code.		2021-01-24 10:16:22 +00:00
..
docbook	Since externally developed optional device plugins (AKA "user plugins") can be	2021-01-24 10:16:22 +00:00
man	Since externally developed optional device plugins (AKA "user plugins") can be	2021-01-24 10:16:22 +00:00