mirror of
https://github.com/github/semantic.git
synced 2024-11-28 10:15:55 +03:00
Merge branch 'master' into hints-to-avoid-redundant-pure
This commit is contained in:
commit
23916dcb0c
6
.gitmodules
vendored
6
.gitmodules
vendored
@ -16,12 +16,6 @@
|
||||
[submodule "vendor/fastsum"]
|
||||
path = vendor/fastsum
|
||||
url = git@github.com:patrickt/fastsum.git
|
||||
[submodule "vendor/proto3-wire"]
|
||||
path = vendor/proto3-wire
|
||||
url = https://github.com/joshvera/proto3-wire
|
||||
[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
|
||||
|
2
vendor/grpc-haskell
vendored
2
vendor/grpc-haskell
vendored
@ -1 +1 @@
|
||||
Subproject commit 7ea8c35b81ed4758eb5d8089058500bdd0d635ab
|
||||
Subproject commit 0a84f9ec3a5532183538726c86608c56dfe2c1db
|
1
vendor/proto3-suite
vendored
1
vendor/proto3-suite
vendored
@ -1 +0,0 @@
|
||||
Subproject commit c75b250e82481e23d2ff586b3e841834b5d93ff9
|
1
vendor/proto3-wire
vendored
1
vendor/proto3-wire
vendored
@ -1 +0,0 @@
|
||||
Subproject commit c8792bc33154e849239b1c91ffe06af2e765d734
|
Loading…
Reference in New Issue
Block a user