diff options
| author | Simon Ser <contact@emersion.fr> | 2024-02-15 11:52:38 +0100 |
|---|---|---|
| committer | Simon Zeni <simon@bl4ckb0ne.ca> | 2024-02-15 09:44:12 -0500 |
| commit | ca40663d4277ade2a7dfec0484db5b7881799ee4 (patch) | |
| tree | 62fdfc8e303c87e980c8c062c69778760892dfc9 /.gitignore | |
| parent | 7a2ff7ba810ced55297a1a2e420b0b1f4326ab72 (diff) | |
Fix build with wlroots DRM backend disabled
The header is not installed by wlroots when the DRM backend is
disabled. We don't need it here, so don't include it.
Closes: https://github.com/swaywm/sway/issues/7943
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions