diff options
| author | Ricardo Buring <ricardo.buring@gmail.com> | 2022-04-28 22:44:09 +0200 |
|---|---|---|
| committer | Ricardo Buring <ricardo.buring@gmail.com> | 2022-05-18 16:40:29 +0200 |
| commit | f072aa69a99a436b711afeb4b2b1c10b93883606 (patch) | |
| tree | 1fab336eed96d0da16923fcbe54c5a5b3500cb45 /.gitignore | |
| parent | cdc5da746032c2caad8539480514f444bb1eb1ad (diff) | |
Add motion parameter to toggle whether recovery is reported as a collision
This makes the intent explicit in each use case.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions