diff options
author | durken1 <71756879+durken1@users.noreply.github.com> | 2022-05-17 15:20:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-17 14:20:13 +0100 |
commit | dba5b730a3f112b40d9f19881e0c5eaa03672452 (patch) | |
tree | d582b1bbe937e5dd4c33d7a6d3a2de6460b8742b /platforms/pin_defs.h | |
parent | 656090335066eed90a9b76e113fb93ee3bc8c089 (diff) |
Update pr_checklist.md (#17122)
Diffstat (limited to 'platforms/pin_defs.h')
0 files changed, 0 insertions, 0 deletions