tree be7af7aade5e347a5d359fe049b99cc6bd34c79f
parent 9e9c8a8991a50e49ce4179caec7ad11f563414eb
author omar <omarcornut@gmail.com> 1533485604 +0200
committer omar <omarcornut@gmail.com> 1533485604 +0200

Internals: Minor renaming for consistency.