aboutsummaryrefslogtreecommitdiff
path: root/src/set/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-01-25 22:49:40 +0100
committerChristian Grothoff <christian@grothoff.org>2017-01-25 22:50:20 +0100
commit8f5f7f7885237771d88cce717d508b97d79f6b6e (patch)
tree16a661a743712e53471517d20e8958656b32eb35 /src/set/.gitignore
parent54bdbf432f7ea469f83a894df552105d1a2a1a93 (diff)
downloadgnunet-8f5f7f7885237771d88cce717d508b97d79f6b6e.tar.gz
gnunet-8f5f7f7885237771d88cce717d508b97d79f6b6e.zip
update ignore file
Diffstat (limited to 'src/set/.gitignore')
-rw-r--r--src/set/.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/set/.gitignore b/src/set/.gitignore
index 10f1da0d6..f1c958639 100644
--- a/src/set/.gitignore
+++ b/src/set/.gitignore
@@ -1,3 +1,7 @@
1gnunet-set-profiler 1gnunet-set-profiler
2gnunet-service-set 2gnunet-service-set
3gnunet-set-ibf-profiler 3gnunet-set-ibf-profiler
4test_set_api
5test_set_intersection_result_full
6test_set_union_copy
7test_set_union_result_symmetric