diff options
author | Yuri Rubinsky <chaosus89@gmail.com> | 2022-12-07 15:38:05 +0300 |
---|---|---|
committer | Yuri Rubinsky <chaosus89@gmail.com> | 2022-12-19 19:12:00 +0300 |
commit | 78d296d7ca4ffc6fd0d0dcdfc8f44e967e7e081c (patch) | |
tree | 754a963cbe7402d108e2a6461885e38930c6a80c /modules/gridmap | |
parent | d34594179a1e9f1ad5351b152f2ccfbd4b119c01 (diff) |
Add a note for `inst_to_dict` to prevent using it on built-in instances
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions