diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-16 14:24:17 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-16 14:24:17 +0200 |
| commit | c78bbfa669602da60cbc91900e1af81df98e78ab (patch) | |
| tree | f3e56c115e21f66003540f7715b842e8c3826a5c /editor/icons/icon_GUI_spinbox_updown.svg | |
| parent | de0fb0798ed1c8d16633da9b4d29ce4114f25540 (diff) | |
Fix type of Range allow_greater/allow_lesser properties
Diffstat (limited to 'editor/icons/icon_GUI_spinbox_updown.svg')
0 files changed, 0 insertions, 0 deletions