diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-10 10:09:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 10:09:12 +0200 |
| commit | 7e93554961a9c098248a7622bda4659d541b8e1b (patch) | |
| tree | 04d73056953648f0c60512b5a62868606dc8325c /thirdparty/rvo2/src/Agent.cpp | |
| parent | 0cbcb7a6e6549d82ad04a387e3eed54f08e13e22 (diff) | |
| parent | 9369b37f1f7aca843182564b0a12ae20b07721b7 (diff) | |
Merge pull request #37744 from madmiraal/fix-X11-device-info-precision-loss
Fix loss of precision in X11 device info.
Diffstat (limited to 'thirdparty/rvo2/src/Agent.cpp')
0 files changed, 0 insertions, 0 deletions