diff options
| author | Simon Ser <contact@emersion.fr> | 2023-06-14 16:33:18 +0200 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2023-06-14 16:33:18 +0200 |
| commit | 840fd7dce6c675dfbebefc78fc5a5e418bd0332e (patch) | |
| tree | e7718b9c8ea94e6cf5509140fb71623dec22d871 /.gitignore | |
| parent | 753f3cc4fa2aa1d541be12ccc9f81dc9531e23cf (diff) | |
examples: drop unnecessary include_directories
wlr_inc is already pulled in via the wlroots dep. proto_inc is
already pulled in because extra_src contains these headers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions