mirror of
https://github.com/micropython/micropython.git
synced 2026-01-29 07:10:17 +01:00
Can't decide which is better for string type, char or byte pointer. Changing to char removes a few casts. Really need to do proper unicode.
23 KiB
23 KiB