mbed_app.json@cce151e4bf3d
mbed_app.json
Mon, 23 Nov 2020 21:55:40 +0100
- author
- David Douard <david.douard@sdf3.org>
- date
- Mon, 23 Nov 2020 21:55:40 +0100
- changeset 57
- cce151e4bf3d
- parent 28
-
424d792fea4f
- permissions
- -rw-r--r--
Small fixes in main
- toggle the shift indicator when the key is pressed while already on
- attempt to fix the restart-while-shuting-down bug
{
"target_overrides": {
"*": {
"platform.callback-nontrivial": true
},
"nucleo_f303re": {
"target.c_lib": "small",
"target.printf_lib": "minimal-printf",
"platform.minimal-printf-enable-floating-point": false,
"platform.stdio-minimal-console-only": true
}
}
}