windowing/windowserver/group/wsini_pointershift.ini
branchNewGraphicsArchitecture
changeset 143 3db46cb3f779
parent 0 5d03bc08d59c
child 149 e375a7921169
child 160 969102054596
equal deleted inserted replaced
141:f5b6a43d0d2d 143:3db46cb3f779