diff options
Diffstat (limited to 'src/contrib/service/set/.gitignore')
-rw-r--r-- | src/contrib/service/set/.gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/contrib/service/set/.gitignore b/src/contrib/service/set/.gitignore new file mode 100644 index 000000000..f1c958639 --- /dev/null +++ b/src/contrib/service/set/.gitignore | |||
@@ -0,0 +1,7 @@ | |||
1 | gnunet-set-profiler | ||
2 | gnunet-service-set | ||
3 | gnunet-set-ibf-profiler | ||
4 | test_set_api | ||
5 | test_set_intersection_result_full | ||
6 | test_set_union_copy | ||
7 | test_set_union_result_symmetric | ||