From f7f5a27ebfdc98e9da10b0171983d53f4518cb57 Mon Sep 17 00:00:00 2001 From: Anton Evangelatov Date: Fri, 6 Nov 2020 20:28:11 +0100 Subject: [PATCH] remove oni submodule --- .gitmodules | 3 --- extern/oni | 1 - 2 files changed, 4 deletions(-) delete mode 160000 extern/oni diff --git a/.gitmodules b/.gitmodules index 5d82758a2..127386beb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,9 +7,6 @@ [submodule "extern/test-vectors"] path = extern/test-vectors url = https://github.com/filecoin-project/test-vectors.git -[submodule "extern/oni"] - path = extern/oni - url = https://github.com/filecoin-project/oni.git [submodule "extern/blst"] path = extern/blst url = https://github.com/supranational/blst.git diff --git a/extern/oni b/extern/oni deleted file mode 160000 index 10ed9ef57..000000000 --- a/extern/oni +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 10ed9ef576836186de3b8513c03cdc3fb18c44ed