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 /thirdparty/bullet | |
| 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 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions