windowing/windowserver/minigui/group/wsini_minigui-stripped.ini
branchGCC_SURGE
changeset 127 197d3f3cc2a6
parent 123 f9816ed9a757
Binary file windowing/windowserver/minigui/group/wsini_minigui-stripped.ini has changed