Rename fletch -> dartino

platforms/stm/disco_dartino/src/FreeRTOSConfig.h

Index: platforms/stm/disco_dartino/src/FreeRTOSConfig.h
diff --git a/platforms/stm/disco_fletch/src/FreeRTOSConfig.h b/platforms/stm/disco_dartino/src/FreeRTOSConfig.h
similarity index 94%
rename from platforms/stm/disco_fletch/src/FreeRTOSConfig.h
rename to platforms/stm/disco_dartino/src/FreeRTOSConfig.h
index a8d82ce897ece4118620ed0aec96c15a752bded8..54d8e193c640118192a1f304776ab6e3a368bded 100755
--- a/platforms/stm/disco_fletch/src/FreeRTOSConfig.h
+++ b/platforms/stm/disco_dartino/src/FreeRTOSConfig.h
@@ -2,8 +2,8 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-#ifndef PLATFORMS_STM_DISCO_FLETCH_SRC_FREERTOSCONFIG_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_FREERTOSCONFIG_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_FREERTOSCONFIG_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_FREERTOSCONFIG_H_
 
 extern uint32_t SystemCoreClock;
 
@@ -76,4 +76,4 @@ extern uint32_t SystemCoreClock;
 // Allocate a newlib reent structure for each created task.
 #define configUSE_NEWLIB_REENTRANT 1
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_FREERTOSCONFIG_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_FREERTOSCONFIG_H_