From c02d6cbe64bed32a8a202f4d74aed8c62c25c112 Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Mon, 13 May 2019 14:24:07 -0400 Subject: [PATCH] Remove semilattices module. We've never needed to update this, and it lives on Hackage. --- .gitmodules | 3 --- vendor/semilattices | 1 - 2 files changed, 4 deletions(-) delete mode 160000 vendor/semilattices diff --git a/.gitmodules b/.gitmodules index d73407532..c845b3078 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "vendor/fastsum"] path = vendor/fastsum url = https://github.com/patrickt/fastsum.git -[submodule "vendor/semilattices"] - path = vendor/semilattices - url = https://github.com/robrix/semilattices.git [submodule "vendor/fused-effects"] path = vendor/fused-effects url = https://github.com/robrix/fused-effects.git diff --git a/vendor/semilattices b/vendor/semilattices deleted file mode 160000 index 4cda0868d..000000000 --- a/vendor/semilattices +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4cda0868d305277e13bbd7076d885a8067e40ec8