windowing/windowserver/group/wsini_pointershift.ini
branchRCL_3
changeset 17 e375a7921169
parent 0 5d03bc08d59c
child 19 bbf46f59e123
equal deleted inserted replaced
15:7f6e7753e018 17:e375a7921169
     1 (binary file application/octet-stream, hash: f2068374221aab30d449b4ce9a149749466fbdda)
     1 (binary file application/octet-stream, hash: e16099c11346414a9f51751d447b96a65e72899c)