diff -r 000000000000 -r 5d03bc08d59c windowing/windowserver/group/wsini_pointershift.ini
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed