os/graphics/windowing/windowserver/minigui/group/wsini_minigui.ini
changeset 1 260cb5ec6c19