diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-11 09:10:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-11 09:10:00 +0200 |
| commit | 8b54cfad1d903fef4c12862271c91c86d2f28e56 (patch) | |
| tree | 376d08e852dc153b3777cf93ebb2c04ea8039db1 /core/compressed_translation.cpp | |
| parent | f3106cddb38259f74846edd43b85208b99e3414a (diff) | |
| parent | 7b293aa4d412c938b56d8996dab04232d3c40e2e (diff) | |
Merge pull request #6776 from RandomShaper/int_property_step
Allow step for integer properties
Diffstat (limited to 'core/compressed_translation.cpp')
0 files changed, 0 insertions, 0 deletions