summaryrefslogtreecommitdiff
path: root/src/consensus
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-05-20 23:57:06 +0200
committerChristian Grothoff <christian@grothoff.org>2018-05-20 23:57:06 +0200
commit277cec42b1db901612648315ad7c7b838a0aaf6a (patch)
tree54c6add174a57748792a66fdc7eeb75e54407600 /src/consensus
parent2e6c6216085aa39575bbe5cc533a1baf47c11c0d (diff)
update ignore
Diffstat (limited to 'src/consensus')
-rw-r--r--src/consensus/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/consensus/.gitignore b/src/consensus/.gitignore
index d49147d17..8050d760e 100644
--- a/src/consensus/.gitignore
+++ b/src/consensus/.gitignore
@@ -3,3 +3,4 @@ gnunet-consensus-profiler
gnunet-service-consensus
test_consensus_api
resource.log.master
+consensus-simulation.py