mirror of https://github.com/ARMmbed/mbed-os.git
Small space savings, the casting from int to float will bloat the code a bit. Using wait(1.0f) for example would avoid it, but seems a bit silly to use floats for anything unless really needed (in embedded products). |
||
|---|---|---|
| .. | ||
| TARGET_MODULE_UBLOX_ODIN_W2 | ||
| TARGET_NUCLEO_F439ZI | ||
| TARGET_WIO_3G | ||
| device | ||
| objects.h | ||