windowing/windowserver/group/wsini_pointershift_wins.ini
branchRCL_3
changeset 19 bbf46f59e123
parent 17 e375a7921169
child 20 25ffed67c7ef
Binary file windowing/windowserver/group/wsini_pointershift_wins.ini has changed