windowing/windowserver/group/wsini_pointershift.ini
branchRCL_3
changeset 163 bbf46f59e123
parent 149 e375a7921169
child 164 25ffed67c7ef
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed