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