diff options
author | Joel Challis <git@zvecr.com> | 2022-03-11 13:27:29 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-11 13:27:29 +0000 |
commit | 1833e65370395d438b67b98a317e54d27a742c16 (patch) | |
tree | c7a4692182c602cfc89ec0f51f477ea677df31c6 /platforms/timer.h | |
parent | 0015ebad47d332f334b84f65a1e8498f07f3b0c6 (diff) |
Workaround for pin_def errors on KINETIS (#16614)
Diffstat (limited to 'platforms/timer.h')
0 files changed, 0 insertions, 0 deletions