diff options
| author | Ha Thach <[email protected]> | 2022-11-07 00:05:51 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-11-07 00:05:51 +0700 |
| commit | e434a1dc0584e841da1ae4ff525bbe81a0f5514b (patch) | |
| tree | 19e5800f1952d58709e747968c906cc9101c760b /src/device | |
| parent | 187e57dc815c75655c5ab0eda45677f77cd52921 (diff) | |
| parent | 38cdeb9e606b23071cd0bd9c505c09bc8df26bc4 (diff) | |
Merge pull request #1718 from hfegran/efm32_freertos_port_fix
Fixed wrong FreeRTOS port for EFM32GG12
Diffstat (limited to 'src/device')
0 files changed, 0 insertions, 0 deletions
