1 files changed, 0 insertions, 7 deletions

diff --git a/src/set/.gitignore b/src/set/.gitignore
deleted file mode 100644
index f1c958639..000000000
--- a/src/set/.gitignore
+++ /dev/null
@@ -1,7 +0,0 @@
-gnunet-set-profiler
-gnunet-service-set
-gnunet-set-ibf-profiler
-test_set_api
-test_set_intersection_result_full
-test_set_union_copy
-test_set_union_result_symmetric