mirror of
https://github.com/github/semantic.git
synced 2024-12-24 15:35:14 +03:00
Add semilattices as a submodule.
This commit is contained in:
parent
54ea58fd79
commit
33064d0dbc
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -22,3 +22,6 @@
|
||||
[submodule "vendor/proto3-suite"]
|
||||
path = vendor/proto3-suite
|
||||
url = https://github.com/joshvera/proto3-suite
|
||||
[submodule "vendor/semilattices"]
|
||||
path = vendor/semilattices
|
||||
url = https://github.com/robrix/semilattices.git
|
||||
|
1
vendor/semilattices
vendored
Submodule
1
vendor/semilattices
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit cad77016f533f9078c6e42aea33405ec7900497c
|
Loading…
Reference in New Issue
Block a user