Skip to content
Snippets Groups Projects

rename: picolib -> pico

Merged Yaroslav Dynnikov requested to merge rename-pico into master
Compare changes
  • Side-by-side
  • Inline
Files
12
Loading