From e6ff45d87c1d7b0451e6f1a231236bd781c5083a Mon Sep 17 00:00:00 2001
From: Joe Turner <joe@oampo.co.uk>
Date: Mon, 13 May 2013 14:35:32 +0100
Subject: [PATCH] Remove moved options file.

---
 libraries/mbed/vendor/STM/options.json | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 libraries/mbed/vendor/STM/options.json

diff --git a/libraries/mbed/vendor/STM/options.json b/libraries/mbed/vendor/STM/options.json
deleted file mode 100644
index 4d80b3aefa..0000000000
--- a/libraries/mbed/vendor/STM/options.json
+++ /dev/null
@@ -1,10 +0,0 @@
-{
-    "objects": [
-        "core_cm4.o",
-        "core_cm4_simd.o"
-
-        "system_stm32f4xxo",
-
-        "startup_startup_STM32F40x.o",
-    ]
-}