windowing/windowserver/group/wsini_pointershift.ini
branchRCL_3
changeset 17 e375a7921169
parent 0 5d03bc08d59c
child 19 bbf46f59e123
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed