Volker Ruppert 524ba46c3d Added the capability to select the operation mode of the VGA update timer. ... The realtime mode is enabled by default (patch by Dawn Teschendorf).		2014-11-15 10:22:27 +00:00
..
user.dbk	Added the capability to select the operation mode of the VGA update timer.	2014-11-15 10:22:27 +00:00