diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-11 09:10:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-11 09:10:20 +0200 |
| commit | 53016ef7a134298f789f207c2cb2ab67d73f7946 (patch) | |
| tree | 5c402475da93852dc363cf9cd93bd913e0e6e676 /platform | |
| parent | 8b54cfad1d903fef4c12862271c91c86d2f28e56 (diff) | |
| parent | 84c525ba1bec018e75679334238fec5af942dabd (diff) | |
Merge pull request #6777 from RandomShaper/revise-serial-naming
Revise serial naming behavior
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions