Rename fletch -> dartino

platforms/stm/disco_fletch/src/globals.h

Index: platforms/stm/disco_fletch/src/globals.h
diff --git a/platforms/stm/disco_fletch/src/globals.h b/platforms/stm/disco_fletch/src/globals.h
deleted file mode 100644
index d58705491bec82ed948dd2d25494e6d0c49b2639..0000000000000000000000000000000000000000
--- a/platforms/stm/disco_fletch/src/globals.h
+++ /dev/null
@@ -1,21 +0,0 @@
-// Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file
-// 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_GLOBALS_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_GLOBALS_H_
-
-// Use 4kb pages.
-#define PAGE_SIZE_SHIFT 12
-#define PAGE_SIZE (1 << PAGE_SIZE_SHIFT)
-
-#define MAX(a, b) ((a) > (b) ? (a) : (b))
-#define MIN(a, b) ((a) < (b) ? (a) : (b))
-#define ROUNDUP(a, b) (((a) + ((b) - 1)) & ~((b) - 1))
-#define ROUNDDOWN(a, b) ((a) & ~((b) - 1))
-#define ALIGN(a, b) ROUNDUP(a, b)
-#define IS_ALIGNED(a, b) (!(((uintptr_t)(a)) & (((uintptr_t)(b)) - 1)))
-#define PAGE_ALIGN(x) ALIGN(x, PAGE_SIZE)
-#define IS_PAGE_ALIGNED(x) IS_ALIGNED(x, PAGE_SIZE)
-
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_GLOBALS_H_