Rename fletch -> dartino

platforms/stm/disco_dartino/src/lcd_log_conf.h

Index: platforms/stm/disco_dartino/src/lcd_log_conf.h
diff --git a/platforms/stm/disco_fletch/src/lcd_log_conf.h b/platforms/stm/disco_dartino/src/lcd_log_conf.h
similarity index 85%
rename from platforms/stm/disco_fletch/src/lcd_log_conf.h
rename to platforms/stm/disco_dartino/src/lcd_log_conf.h
index 494c3d25789d24e3eaa808ba5883600f480d1605..5014137b30d8dfaee63980f583d986c616b80cf8 100644
--- a/platforms/stm/disco_fletch/src/lcd_log_conf.h
+++ b/platforms/stm/disco_dartino/src/lcd_log_conf.h
@@ -3,8 +3,8 @@
 // BSD-style license that can be found in the LICENSE.md file.
 
 // Configuration of the STM LCD log utility
-#ifndef PLATFORMS_STM_DISCO_FLETCH_SRC_LCD_LOG_CONF_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_LCD_LOG_CONF_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_LCD_LOG_CONF_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_LCD_LOG_CONF_H_
 
 #include <stdio.h>
 
@@ -36,4 +36,4 @@
 // Define the writing to the display in log utility to this signature.
 #define LCD_LOG_PUTCHAR int LCDLogPutchar(int ch)
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_LCD_LOG_CONF_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_LCD_LOG_CONF_H_