Volker Ruppert 9cbe03f7f2 Pressing the "m" button in gui command mode writes a marker to log file. ...

Removed now obsolete patch.

2020-08-21 19:12:37 +00:00

..

bochs-bios-win32.diff

…

HEADER

…

NOTES

…

patch.decode-interrupts.gz

…

patch.example-override-ask

…

patch.example-user-plugin

…

patch.example-vdisk-dll

…

patch.hosttime-port

…