commit | 52a9f8bd3e7f7837df6157802a7b1fe327c768d3 | [log] [tgz] |
---|---|---|
author | omar <omarcornut@gmail.com> | Fri Feb 01 10:26:08 2019 +0100 |
committer | omar <omarcornut@gmail.com> | Fri Feb 01 10:26:08 2019 +0100 |
tree | a627c7e7ed32cd75e6b69358695da160b1bf945e | |
parent | 699e945a82a69249771518858c0fde169e8dfe87 [diff] |
Merged from Docking branch: Various small changes, comments, typos fixes, moved blocks. To reduce overall drift. Should be no-op.