From 774f29bd06acafe7588e6d27e6d2499569e63cf9 Mon Sep 17 00:00:00 2001 From: Benjamin Summers Date: Mon, 4 Mar 2019 17:34:55 -0800 Subject: [PATCH] Removed urb submodule. --- .gitmodules | 3 --- pkg/urb | 1 - 2 files changed, 4 deletions(-) delete mode 160000 pkg/urb diff --git a/.gitmodules b/.gitmodules index 9618a42c9..44dfe8dae 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ [submodule "nix/nixcrpkgs"] path = nix/nixcrpkgs url = https://github.com/urbit/nixcrpkgs -[submodule "pkg/urb"] - path = pkg/urb - url = https://github.com/urbit/urb.git [submodule "pkg/arvo"] path = pkg/arvo url = https://github.com/urbit/arvo.git diff --git a/pkg/urb b/pkg/urb deleted file mode 160000 index 29a2e6a79..000000000 --- a/pkg/urb +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 29a2e6a79e59f93e6399225efec6e09bc17f2767