diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-04 15:11:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-04 15:11:08 +0200 |
| commit | 3724f1562be5caca3c5236c1cfac8d73a3303d42 (patch) | |
| tree | 51e72655c3d71721ae1bcb34196c0f3858ca9dd7 /modules/gridmap | |
| parent | 92bfde531cea21555dc74ad928a79120fbc9c34d (diff) | |
| parent | 88c23e243f05696b2c3d56caad8055046e5edcd3 (diff) | |
Merge pull request #19782 from Calinou/fix-control-pixel-snap-rounding
Fix control pixel snap rounding using floor() instead of round()
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions