windowing/windowserver/group/wsini_pointershift.ini
branchNewGraphicsArchitecture
changeset 170 c794569c62b8
parent 149 e375a7921169
child 163 bbf46f59e123
equal deleted inserted replaced
157:b042127c80f6 170:c794569c62b8