diff -r 000000000000 -r bde4ae8d615e os/graphics/windowing/windowserver/minigui/group/wsini_minigui.ini
Binary file os/graphics/windowing/windowserver/minigui/group/wsini_minigui.ini has changed