diff options
| author | Gilles Roudière <gilles.roudiere@gmail.com> | 2021-10-14 10:08:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 10:08:26 +0200 |
| commit | 0eed8d8386850f887c024730816e8044ad742a2b (patch) | |
| tree | 58575eebc55a50a505d16953ca2fd8220c850002 /thirdparty/embree/patches | |
| parent | 569ea313ab0cbc3305d4c728897f33d666da1a7b (diff) | |
| parent | 0afd47d8bce2babd22d463be7dd68978dfa205b7 (diff) | |
Merge pull request #51695 from KoBeWi/one_tool_to_rule_them_all
Add tool quick-select to tile editor
Diffstat (limited to 'thirdparty/embree/patches')
0 files changed, 0 insertions, 0 deletions