diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-25 18:23:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-25 18:23:24 +0100 |
| commit | baefda668670f5be056f2cdfe7806a32c04eac9c (patch) | |
| tree | 4df65ecc00d0ed4435a77cf09d01b28d88fa0834 /modules/gridmap/config.py | |
| parent | d360931e1fa9689a9994d64d8e8e8cc0b727e2f0 (diff) | |
| parent | 8862d37e693ee20ad33a662d9d227d9305641d12 (diff) | |
Merge pull request #26278 from akien-mga/stretch-shrink-step
Fix property hint for stretch strink setting
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions