| commit | 1a6ec208cc9e36127408a45b7954dc0cc74ec67b | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Tue Dec 18 11:50:14 2018 +0100 |
| committer | omar <omarcornut@gmail.com> | Tue Dec 18 12:02:55 2018 +0100 |
| tree | f5d1b6bcfbdfa5b57e5a9c0d7cd438eda12cc39f | |
| parent | 65dac021712f99ba954392734ceafe43392efe59 [diff] |
Docs: various updates, rewording, clarifying the purpose of a PR.