Index: platforms/stm/disco_fletch/src/fletch_entry.h |
diff --git a/platforms/stm/disco_fletch/src/fletch_entry.h b/platforms/stm/disco_fletch/src/fletch_entry.h |
deleted file mode 100644 |
index 7c6052b373eff00dedb13cc2eb5153886d97db95..0000000000000000000000000000000000000000 |
--- a/platforms/stm/disco_fletch/src/fletch_entry.h |
+++ /dev/null |
@@ -1,10 +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. |
- |
-#ifndef PLATFORMS_STM_DISCO_FLETCH_SRC_FLETCH_ENTRY_H_ |
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_FLETCH_ENTRY_H_ |
- |
-void FletchEntry(void const * argument); |
- |
-#endif // PLATFORMS_STM_DISCO_FLETCH_SRC_FLETCH_ENTRY_H_ |