diff options
author | Tony Crisci <tony@dubstepdish.com> | 2018-01-17 08:20:33 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-17 08:20:33 -0500 |
commit | f2698a896085a5a2dd651a7f1d4fb623d567acf4 (patch) | |
tree | aafc9bbef61e4f559b19de58489bf1def72a2de2 /examples/support/ini.h | |
parent | bcb58b5caa203a5651a2a24d2038117a728348e7 (diff) | |
parent | 6e9c652fc4c3dc65d313f4cb8823995a98d65964 (diff) |
Merge pull request #569 from emersion/hide-seat-cursor
rootston: hide cursor if seat has only keyboards
Diffstat (limited to 'examples/support/ini.h')
0 files changed, 0 insertions, 0 deletions