mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 20:50:14 +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.
1.7 KiB
1.7 KiB