os/graphics/windowing/windowserver/group/wsini_pointershift.ini
changeset 0 bde4ae8d615e
     1.1 Binary file os/graphics/windowing/windowserver/group/wsini_pointershift.ini has changed