diff options
| author | Dasky <32983009+daskygit@users.noreply.github.com> | 2023-10-26 22:34:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-26 22:34:17 +0100 |
| commit | e0c00c35ce195dc0ab3f729235b9490dc69592ec (patch) | |
| tree | 41b2ecb7d26befc9e57f59471cd6f5ec70e4f98c /users/mtei/user_options.mk | |
| parent | d2892685c52a8a0892b28872cfc43e8f7fa37465 (diff) | |
Clarify PIO define is optional in docs. (#22339)
Diffstat (limited to 'users/mtei/user_options.mk')
0 files changed, 0 insertions, 0 deletions