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