diff options
Diffstat (limited to '3rd-party/picolibc')
| m--------- | 3rd-party/picolibc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/3rd-party/picolibc b/3rd-party/picolibc new file mode 160000 +Subproject 27746bbc246841852912fc3bb5b45094cd8a505 |