upd: version number

sergiotomasello · sergiotomasello · commit ebe5be93f798 · 2017-05-17T10:34:28.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -20,7 +20,7 @@
 # ----------------------
 
 name=Arduino nRF52 (32-bits ARM) Boards
-version=1.0.0
+version=1.0.1
 
 # Compile tool path
 compiler.path={runtime.tools.arm-none-eabi-gcc.path}/bin/
