// This file was generated by py/makeversionhdr.py #define MICROPY_GIT_TAG "v1.10" #define MICROPY_GIT_HASH "3e25d61" #define MICROPY_BUILD_DATE "2019-02-13"
