diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-02-18 17:57:41 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-02-18 17:57:41 +0100 |
commit | 8697998cdbb97c632c3f4a5cacd0135e3311b417 (patch) | |
tree | 827d400f9589301706797dfff581e73ab0d66003 /src/consensus/.gitignore | |
parent | 8e1e2bc0da1dad5d0953d51ebe3b74ca208e0099 (diff) | |
download | gnunet-8697998cdbb97c632c3f4a5cacd0135e3311b417.tar.gz gnunet-8697998cdbb97c632c3f4a5cacd0135e3311b417.zip |
terminate instantly, even on failure
Diffstat (limited to 'src/consensus/.gitignore')
0 files changed, 0 insertions, 0 deletions