|
@@ -1,7 +1,7 @@
|
|
|
// This file was generated by py/makeversionhdr.py
|
|
// This file was generated by py/makeversionhdr.py
|
|
|
-#define MICROPY_GIT_TAG "v1.9.3-6-g1742ab26-dirty"
|
|
|
|
|
-#define MICROPY_GIT_HASH "1742ab26-dirty"
|
|
|
|
|
-#define MICROPY_BUILD_DATE "2017-11-11"
|
|
|
|
|
|
|
+#define MICROPY_GIT_TAG "v1.9.3-286-gbbb0843-dirty"
|
|
|
|
|
+#define MICROPY_GIT_HASH "bbb0843-dirty"
|
|
|
|
|
+#define MICROPY_BUILD_DATE "2018-02-08"
|
|
|
#define MICROPY_VERSION_MAJOR (1)
|
|
#define MICROPY_VERSION_MAJOR (1)
|
|
|
#define MICROPY_VERSION_MINOR (9)
|
|
#define MICROPY_VERSION_MINOR (9)
|
|
|
#define MICROPY_VERSION_MICRO (3)
|
|
#define MICROPY_VERSION_MICRO (3)
|