diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-04-03 23:00:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-03 23:00:23 -0400 |
| commit | 60519951e02eb0b15cbee4936a7f4bcadaee1ff4 (patch) | |
| tree | 060976b0eb4770fb771a52a13c10d2940d9d2bd5 /include/util/os-compatibility.h | |
| parent | 8f8470aed95209040ac1f73bd42091d32f864aa7 (diff) | |
| parent | 2d6bbf12f8dc9217f86ec232b7343ad3284863f5 (diff) | |
Merge pull request #815 from emersion/fix-backend-timer-refresh
backend/{x11,headless}: fix refresh rate
Diffstat (limited to 'include/util/os-compatibility.h')
0 files changed, 0 insertions, 0 deletions