windowing/windowserver/group/wsini_pointershift.ini
branchNewGraphicsArchitecture
changeset 157 b042127c80f6
parent 149 e375a7921169
child 163 bbf46f59e123
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed