tree a6cb59f9ca50dab4c876501112c054ddd4f1fba5
parent f994b8aab8814803bb7486585acaabf1b2cc56c0
author omar <omarcornut@gmail.com> 1548081583 +0100
committer omar <omarcornut@gmail.com> 1548085827 +0100

Internals: Tweaks. Comments about PushID/GetID public function.