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 /.gitignore | |
parent | d959b9c8db4e9ba9695c08ae6c2f06edb6e82fdc (diff) | |
parent | 6261c95184b86c43755071b351e6928f89e2343c (diff) |
Merge branch 'multithreaded-verifier'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -20,5 +20,6 @@ include/hotstuff/config.h *.gch /Makefile /test/Makefile -test_secp256k1 +/test/test_secp256k1 +/test/test_concurrent_queue core |