Rename fletch -> dartino

platforms/stm/disco_dartino/src/page_allocator.h

Index: platforms/stm/disco_dartino/src/page_allocator.h
diff --git a/platforms/stm/disco_fletch/src/page_allocator.h b/platforms/stm/disco_dartino/src/page_allocator.h
similarity index 90%
rename from platforms/stm/disco_fletch/src/page_allocator.h
rename to platforms/stm/disco_dartino/src/page_allocator.h
index 8d3070d8c2175ff64e8ded5d7e129851af74d2d9..a63b752c69a2e8e16e69a002d5b8b07750e382a4 100644
--- a/platforms/stm/disco_fletch/src/page_allocator.h
+++ b/platforms/stm/disco_dartino/src/page_allocator.h
@@ -2,14 +2,14 @@
 // 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_PAGE_ALLOCATOR_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_PAGE_ALLOCATOR_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_
 
 #include <cinttypes>
 #include <cstdlib>
 #include <cstring>
 
-#include "platforms/stm/disco_fletch/src/globals.h"
+#include "platforms/stm/disco_dartino/src/globals.h"
 
 class PageAllocator {
  public:
@@ -68,4 +68,4 @@ class PageAllocator {
   Arena arenas_[kMaxArenas];
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_PAGE_ALLOCATOR_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_