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_search.svg | |
parent | de0fb0798ed1c8d16633da9b4d29ce4114f25540 (diff) |
Fix type of Range allow_greater/allow_lesser properties
Diffstat (limited to 'editor/icons/icon_search.svg')
0 files changed, 0 insertions, 0 deletions