windowing/windowserver/minigui/group/wsini_minigui-stripped.ini
branchbug235_bringup_0
changeset 184 221a1b09860c
parent 23 b07aefc73cd7
equal deleted inserted replaced
167:b9003303ce25 184:221a1b09860c