diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2017-08-04 05:18:42 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@pdimov.com> | 2017-08-04 05:18:42 +0300 |
| commit | c9ae997db6dcb65288280814638465f43f2c8c6e (patch) | |
| tree | a4ad308336165a439f437e8e4b9b52397d2a69c1 | |
| parent | 454967e3139f237b4754bd735caf22cd1c2a8ab8 (diff) | |
| download | boost-c9ae997db6dcb65288280814638465f43f2c8c6e.tar.gz | |
Remove tools/bpm
| -rw-r--r-- | .gitmodules | 4 | ||||
| m--------- | tools/bpm | 0 |
2 files changed, 0 insertions, 4 deletions
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 -Subproject d950270efa8a2437f8c1534a2c66f8a0c154a97 |