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 /.github/ISSUE_TEMPLATE/bug_report.md | |
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 '.github/ISSUE_TEMPLATE/bug_report.md')
0 files changed, 0 insertions, 0 deletions