diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-28 16:51:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-28 16:51:41 +0200 |
| commit | 68325d7254db711beaedddad218e2cddb405c42c (patch) | |
| tree | ffa82555d437a9b16c27daf06164d577efa574aa /main | |
| parent | 33af4a9746fb1feec4c88f4fe04c4e29317f2243 (diff) | |
| parent | af4b0db1e4aef0c4ef77f025b9d539d7cce814bf (diff) | |
Merge pull request #6615 from syskrank/master
minor cleanup for code in the "platform" section
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions