From 575b35f4cdc18045bccd42d341d6f25d95c0696c Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 23 Oct 2018 14:20:07 -0400 Subject: Remove Hadrian submodule --- .gitmodules | 3 --- hadrian | 1 - 2 files changed, 4 deletions(-) delete mode 160000 hadrian diff --git a/.gitmodules b/.gitmodules index 830b5c4895..42ed8bf92b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -113,6 +113,3 @@ [submodule ".arc-linters/arcanist-external-json-linter"] path = .arc-linters/arcanist-external-json-linter url = ../arcanist-external-json-linter.git -[submodule "hadrian"] - path = hadrian - url = ../hadrian.git diff --git a/hadrian b/hadrian deleted file mode 160000 index 4265e3aab7..0000000000 --- a/hadrian +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4265e3aab7df92722b81148cf8bf3954ebfc2d21 -- cgit v1.2.1