diff options
| author | emersion <contact@emersion.fr> | 2018-12-16 18:23:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-16 18:23:36 +0100 |
| commit | c4c1d63a0c0d7315a1a4468d62d883371ba3ec4e (patch) | |
| tree | e9dca74205246bf27e88f4f8774d94188a0e3916 /protocol/gtk-primary-selection.xml | |
| parent | 6d4bfa3226123e958ff2bdc4f226489cba49f84d (diff) | |
| parent | ff6c4f80b25d1c3960fbe050858ca44331ee1111 (diff) | |
Merge pull request #1435 from emersion/duplicate-custom-modes
backend/drm: don't insert duplicate custom modes, fix refresh rate
Diffstat (limited to 'protocol/gtk-primary-selection.xml')
0 files changed, 0 insertions, 0 deletions