From c9ae997db6dcb65288280814638465f43f2c8c6e Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Fri, 4 Aug 2017 05:18:42 +0300 Subject: [PATCH] Remove tools/bpm --- .gitmodules | 4 ---- tools/bpm | 1 - 2 files changed, 5 deletions(-) delete mode 160000 tools/bpm diff --git a/.gitmodules b/.gitmodules index 69a2f223ba..117be9deb3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -490,10 +490,6 @@ path = libs/endian url = ../endian.git fetchRecurseSubmodules = on-demand -[submodule "tools/bpm"] - path = tools/bpm - url = ../bpm.git - fetchRecurseSubmodules = on-demand [submodule "sort"] path = libs/sort url = ../sort.git diff --git a/tools/bpm b/tools/bpm deleted file mode 160000 index d950270efa..0000000000 --- a/tools/bpm +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d950270efa8a2437f8c1534a2c66f8a0c154a977