diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-22 13:08:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-22 13:08:18 +0200 |
| commit | 7740b3912c215f8930eb754fc9f76c490cc907d2 (patch) | |
| tree | 6507921cc27b4de541402829f6d827f46aa9c778 /CONTRIBUTING.md | |
| parent | ad07b3135314ccb34a3322a7ef305216418b05ac (diff) | |
| parent | 414d58e6c0ab8d3a75206127fac8e2b80cc67f29 (diff) | |
Merge pull request #6882 from vnen/mouse-mode
Fix the hiding of mouse cursor before interaction
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions