diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | hadrian | 7 |
2 files changed, 0 insertions, 10 deletions
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 -Subproject 4265e3aab7df92722b81148cf8bf3954ebfc2d2 |