diff options
| author | Determinant <[email protected]> | 2018-07-26 14:54:21 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-07-26 14:54:21 -0400 |
| commit | 5f00c067f863f812a740dc209b1fb829f04042eb (patch) | |
| tree | 1a4452299d729d9cd5c75871c2fdc32f2ee45564 /.gitignore | |
| parent | a3f76ac9bb539ba55431cc74f5de09653185cdef (diff) | |
add auto generated config.h
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ hotstuff-keygen libhotstuff.a src/*.swo src/*.swp +include/hotstuff/config.h *.a *.o *.la |