tree a627c7e7ed32cd75e6b69358695da160b1bf945e
parent 699e945a82a69249771518858c0fde169e8dfe87
author omar <omarcornut@gmail.com> 1549013168 +0100
committer omar <omarcornut@gmail.com> 1549013168 +0100

Merged from Docking branch: Various small changes, comments, typos fixes, moved blocks. To reduce overall drift. Should be no-op.