windowing/windowserver/group/wsini_pointershift.ini
branchRCL_3
changeset 20 25ffed67c7ef
parent 19 bbf46f59e123
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed