diff -r ae38b71cf500 -r 9f2f0d4d53f3 windowing/windowserver/minigui/group/wsini_minigui.ini
Binary file windowing/windowserver/minigui/group/wsini_minigui.ini has changed