diff -r 7f6e7753e018 -r e375a7921169 windowing/windowserver/group/wsini_pointershift_wins.ini
Binary file windowing/windowserver/group/wsini_pointershift_wins.ini has changed