diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-05-22 15:58:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-22 15:58:24 +0200 |
commit | fa5cc1da7a83ca7bdf685ba243e207bcd5de7370 (patch) | |
tree | 4e65542688d98608f4fc6a07edf2910fb98b3740 /scene/main | |
parent | 02bc82f9be11a89f474a384652796fd5d8103741 (diff) | |
parent | 9bf48db891828e20989391760aa3af4a5dbdd6c1 (diff) |
Merge pull request #29003 from Xrayez/clipper-6.4.2-exceptions-fix
Build Clipper with `tools=no` and patch it to auto-disable exceptions
Diffstat (limited to 'scene/main')
0 files changed, 0 insertions, 0 deletions