windowing/windowserver/group/wsini_pointershift_wins.ini
branchNewGraphicsArchitecture
changeset 173 075f6673a985
parent 149 e375a7921169
child 163 bbf46f59e123