core, fix type issues by using stdint types
authorkub <derkub@gmail.com>
Fri, 10 Jul 2020 07:09:52 +0000 (09:09 +0200)
committerkub <derkub@gmail.com>
Fri, 10 Jul 2020 07:09:52 +0000 (09:09 +0200)
commit55c3c2b02f0c469bbea04fc66e9826c57b2cdf2e
treeec97583571a354906436e4971057f20be8ddaca3
parent03718e6276272f3508b2c76ece1901744434b7db
core, fix type issues by using stdint types
pico/pico_int.h