windowing/windowserver/minigui/group/wsini_minigui-stripped.ini
branchbug235_bringup_0
changeset 210 da03feddbab7
parent 23 b07aefc73cd7
equal deleted inserted replaced
208:7df094ed4a3f 210:da03feddbab7