windowing/windowserver/group/wsini_pointershift_wins.ini
branchNewGraphicsArchitecture
changeset 173 075f6673a985
parent 149 e375a7921169
child 163 bbf46f59e123
equal deleted inserted replaced
172:75d1eb46860a 173:075f6673a985