diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-24 16:50:29 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-24 16:50:29 +0200 |
commit | 0b67d1665d94f91069e9163087f51c632d5b4d1d (patch) | |
tree | 604b6a1f32eea552a08cb46979de3bbe5e9ca947 /platform | |
parent | f6c0a3fce9be3cb39a63434a32918e390827ad8d (diff) |
Style: Fix previous commits from @reduz
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions