diff options
| author | emersion <contact@emersion.fr> | 2018-06-05 08:46:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-05 08:46:15 +0100 |
| commit | 7366e1ced972f495a87eaff81706a83b5de56cf1 (patch) | |
| tree | 83d1099630114fadd3fe80a06f90560d44b5af6d /.gitignore | |
| parent | a57d1baf57e86201c89c2e43c7cc0b0269f1b5d3 (diff) | |
| parent | 7206997e958f8fe155abdfedfb91b95a4f729d1a (diff) | |
Merge pull request #1040 from acrisci/fix-box-minus-one
fix wlr_box_intersection and closest_point
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions