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