diff options
| author | Determinant <[email protected]> | 2018-09-10 16:07:21 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-09-10 16:07:21 -0400 |
| commit | 073f33b2bdbef4fb711174033707d7b164036b6e (patch) | |
| tree | f351d7119a3764fe72d6ad5a0b66f0a22ada9fb0 /.gitmodules | |
| parent | d959b9c8db4e9ba9695c08ae6c2f06edb6e82fdc (diff) | |
| parent | 6261c95184b86c43755071b351e6928f89e2343c (diff) | |
Merge branch 'multithreaded-verifier'
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 834ffa4..5674fe5 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,3 +4,6 @@ [submodule "salticidae"] path = salticidae url = https://github.com/Determinant/salticidae.git +[submodule "concurrentqueue"] + path = concurrentqueue + url = https://github.com/cameron314/concurrentqueue.git |