aboutsummaryrefslogtreecommitdiff
path: root/src/consensus/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-05-30 10:28:51 +0200
committerChristian Grothoff <christian@grothoff.org>2018-05-30 10:28:51 +0200
commit30fb422df59da0e650eb790933dadbd4bb189658 (patch)
treeb37f7529e275671ce3e640b4064a8945f658d442 /src/consensus/.gitignore
parent0a0ac96d8be21130ccbb885537b0b179b16842e4 (diff)
parenta46fff931d631a176f56547692b16ae32c89299b (diff)
downloadgnunet-30fb422df59da0e650eb790933dadbd4bb189658.tar.gz
gnunet-30fb422df59da0e650eb790933dadbd4bb189658.zip
Merge branch 'master' of ssh://gnunet.org/gnunet
Diffstat (limited to 'src/consensus/.gitignore')
-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
3gnunet-service-consensus 3gnunet-service-consensus
4test_consensus_api 4test_consensus_api
5resource.log.master 5resource.log.master
6consensus-simulation.py