Closed pelikhan closed 4 years ago
Just ran pxt builddaldts
pxt builddaldts
Looks good! I think it would be useful to one day have just one dal.d.ts, but we would need to move pin names to another namespace (they are different for different MCUs).
Just ran
pxt builddaldts