windowing/windowserver/group/wsini_pointershift.ini
changeset 160 969102054596
parent 0 5d03bc08d59c
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed