summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-10-23 14:20:07 -0400
committerBen Gamari <ben@smart-cactus.org>2018-10-23 14:20:07 -0400
commit575b35f4cdc18045bccd42d341d6f25d95c0696c (patch)
tree6ac2457f037e838cf51ca064586a7ab4a3ba5242
parent214699477a641bab7d3b9e063682a6b71a1f8b35 (diff)
downloadhaskell-575b35f4cdc18045bccd42d341d6f25d95c0696c.tar.gz
Remove Hadrian submodule
-rw-r--r--.gitmodules3
m---------hadrian7
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