diff --git a/openocd b/openocd deleted file mode 160000 index e70bd48b..00000000 --- a/openocd +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e70bd48baa604ca7e823e87c18fb5f366de9c607