github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-23 08:27:56 +03:00
Code Issues Projects Releases Wiki Activity

Remove semilattices module.

Browse Source 
We've never needed to update this, and it lives on Hackage.
This commit is contained in:
Patrick Thomson 2019-05-13 14:24:07 -04:00
parent 1e8b399276
commit c02d6cbe64
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored
View File

@ -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

1
vendor/semilattices vendored

@ -1 +0,0 @@
Subproject commit 4cda0868d305277e13bbd7076d885a8067e40ec8