diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-04-07 17:04:12 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2018-04-07 17:04:12 -0300 |
| commit | 61d70fe47cfaa4efee505c7073aacfe34b66c217 (patch) | |
| tree | 1e55ce682e65673fdf9c3e418a58e53011474c04 /thirdparty/bullet | |
| parent | 14340efa3ccfb3a22ee594cea56ab9857814af6c (diff) | |
Document condition to avoid mistakes (like #17690)
Diffstat (limited to 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions