diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-01 15:55:53 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-01 15:55:53 +0200 |
| commit | 9c56a16d61daa444920f2f25d38ae842fc7551f3 (patch) | |
| tree | a031d64d2a9b7cea26fecd81a6dcc142c5fee726 /platform | |
| parent | 82e03b206652c23c8f79e7844cba9152a5d705cb (diff) | |
Doc: Fix typos spotted by @yurchor
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions