windowing/windowserver/group/wsini_pointershift_wins.ini
changeset 160 969102054596
parent 0 5d03bc08d59c
equal deleted inserted replaced
138:7652d902218f 160:969102054596
     1 (binary file application/octet-stream, hash: cf38543048e32154c39cb9ea9c7ef78c4accf79c)
     1 (binary file application/octet-stream, hash: dcc314109ea884982fc422794d55fdd67614952e)