windowing/windowserver/group/wsini_pointershift_wins.ini
changeset 0 5d03bc08d59c
child 149 e375a7921169
child 160 969102054596
equal deleted inserted replaced
-1:000000000000 0:5d03bc08d59c
       
     1 (binary file application/octet-stream, hash: cf38543048e32154c39cb9ea9c7ef78c4accf79c)