From e3e95adb4dedc3585bf423013eb26035bda3b36f Mon Sep 17 00:00:00 2001
From: Karl Palsson <karlp@tweak.net.au>
Date: Thu, 9 Mar 2017 23:05:23 +0000
Subject: drop duplicate openocd board file

---
 openocd/openocd.stm32f072-disco.cfg | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 openocd/openocd.stm32f072-disco.cfg

diff --git a/openocd/openocd.stm32f072-disco.cfg b/openocd/openocd.stm32f072-disco.cfg
deleted file mode 100644
index b16f969..0000000
--- a/openocd/openocd.stm32f072-disco.cfg
+++ /dev/null
@@ -1,14 +0,0 @@
-source [find interface/stlink-v2.cfg]
-set WORKAREASIZE 0x4000
-source [find target/stm32f0x.cfg]
-
-# serial of my f072 disco board.
-hla_serial "Q?o\x06PgHW#$\x16?"
-
-# no trace on cm0
-#tpiu config internal swodump.stm32f4disco.log uart off 168000000
-
-# Uncomment to reset on connect, for grabbing under WFI et al
-reset_config srst_only srst_nogate
-# reset_config srst_only srst_nogate connect_assert_srst
-
-- 
cgit