diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2018-06-06 11:59:40 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-06 11:59:40 -0400 |
| commit | 1a07bf95ae430d9709d51a2531b10927f7ae0c44 (patch) | |
| tree | 8673f0e1a1d3f1af34cb703d771711b4eb60211c /backend | |
| parent | b8202f072cebed6215e7e691c4fb5d90712b95f0 (diff) | |
| parent | ed89a2432885d7b6cd403d7f304d3b28ea991410 (diff) | |
Merge pull request #1044 from emersion/fix-box-intersection
box: fix wlr_box_intersection
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions