Rename fletch -> dartino

platforms/stm/disco_dartino/src/main.cc

Index: platforms/stm/disco_dartino/src/main.cc
diff --git a/platforms/stm/disco_fletch/src/main.cc b/platforms/stm/disco_dartino/src/main.cc
similarity index 94%
rename from platforms/stm/disco_fletch/src/main.cc
rename to platforms/stm/disco_dartino/src/main.cc
index 470265ad7becce824b1c67af458a37af83f5e8ba..cd665b099565bcae57342d51622ca41f6ac8fc85 100644
--- a/platforms/stm/disco_fletch/src/main.cc
+++ b/platforms/stm/disco_dartino/src/main.cc
@@ -8,9 +8,9 @@
 
 #include "src/shared/assert.h"
 
-#include "platforms/stm/disco_fletch/src/page_allocator.h"
-#include "platforms/stm/disco_fletch/src/cmpctmalloc.h"
-#include "platforms/stm/disco_fletch/src/fletch_entry.h"
+#include "platforms/stm/disco_dartino/src/page_allocator.h"
+#include "platforms/stm/disco_dartino/src/cmpctmalloc.h"
+#include "platforms/stm/disco_dartino/src/dartino_entry.h"
 
 // Definition of functions in generated/Src/mx_main.c.
 extern "C" {
@@ -131,7 +131,7 @@ int main() {
   // Initialize the SDRAM (including FMC).
   BSP_SDRAM_Init();
 
-  osThreadDef(mainTask, FletchEntry, osPriorityNormal, 0, 4 * 1024);
+  osThreadDef(mainTask, DartinoEntry, osPriorityNormal, 0, 4 * 1024);
   osThreadId mainTaskHandle = osThreadCreate(osThread(mainTask), NULL);
   USE(mainTaskHandle);