diff options
| author | emersion <contact@emersion.fr> | 2018-03-30 13:37:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-30 13:37:43 -0400 |
| commit | e8cb5e89e915294b410a5349ccbdae40a456d0ff (patch) | |
| tree | 2b643f1add47dbe823573f8f3abb081be2963100 /backend/session | |
| parent | 8ada41c27200618b2b407cb095568f660a3e9cf2 (diff) | |
| parent | 47a529a69c410e494fba46a4e6932a117728ba23 (diff) | |
Merge pull request #780 from emersion/output-damage-box-include
output-damage: fix missing wlr_box include
Diffstat (limited to 'backend/session')
0 files changed, 0 insertions, 0 deletions