diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-05 14:15:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-05 14:15:24 +0200 |
commit | ffab3949e365598271e50705e358864eecfb64d8 (patch) | |
tree | 2dcbc96aeca1c60fe598055c10087e7ebfe5603e /thirdparty/rvo2 | |
parent | d3c972683542365b1a9bf2d96d20520a8981612d (diff) | |
parent | 257a8a337e77a3b0a6d79b7846bb33b7887538cf (diff) |
Merge pull request #50048 from Calinou/remove-travis-code
Remove unused code related to Travis CI
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions