Rename fletch -> dartino

platforms/stm/disco_fletch/src/freertos.cc

Index: platforms/stm/disco_fletch/src/freertos.cc
diff --git a/platforms/stm/disco_fletch/src/freertos.cc b/platforms/stm/disco_fletch/src/freertos.cc
deleted file mode 100644
index 70ca38caf5e6e8d6cc93c8d817fe9aaa50d76c8b..0000000000000000000000000000000000000000
--- a/platforms/stm/disco_fletch/src/freertos.cc
+++ /dev/null
@@ -1,19 +0,0 @@
-// Copyright (c) 2015, 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.
-
-#include <FreeRTOS.h>
-#include <task.h>
-
-#include "src/shared/assert.h"
-
-// Hook called by FreeRTOS when a stack overflow is detected.
-extern "C" void vApplicationStackOverflowHook(
-    xTaskHandle xTask, signed char *pcTaskName) {
-  FATAL("Stack overflow.\n");
-}
-
-// Hook called by FreeRTOS when allocation failed.
-extern "C" void vApplicationMallocFailedHook() {
-  FATAL("Out of memory.\n");
-}