tree 183ab4e9c75e7436f3e42f159d2a627dfb8f8c9b
parent e01fb5462d4fc8b30cf7e23229ee5be4b8d7b3e9
author omar <omarcornut@gmail.com> 1576764175 +0100
committer omar <omarcornut@gmail.com> 1576770824 +0100

Minor bits, placeholder aimed at facilitating merging of Tables branch into Docking