diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-13 17:41:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 17:41:33 +0200 |
| commit | 48fb3debf66af3bb3e6bea5be10c3178f2861d85 (patch) | |
| tree | a5479e6cdf4ea4e9aad0b65435a8984df514a735 /modules/gridmap/config.py | |
| parent | 933dd1cbe273f11e1ca02b5dc62b182b27934414 (diff) | |
| parent | a9581d2b3f05506e4fc6f3e3571147b4922fc417 (diff) | |
Merge pull request #29754 from BastiaanOlij/vr_button_mapping
Added constants for the main buttons and axis used in VR
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions