| commit | f14f93ef6e8b010588f063f9bfb1ac16b92d4d40 | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Mon Jan 21 16:05:41 2019 +0100 |
| committer | omar <omarcornut@gmail.com> | Mon Jan 21 16:50:27 2019 +0100 |
| tree | d188aa6705e48d0947d6bb8db5ef406d0b9713c9 | |
| parent | 28901dd10417edf76454c73200ba1b50a4504d2d [diff] |
Fixed range-version of PushID() and GetID() not honoring the ### operator to restart from the seed value.