diff options
Diffstat (limited to 'src/set/.gitignore')
| -rw-r--r-- | src/set/.gitignore | 4 |
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 @@ | |||
| 1 | gnunet-set-profiler | 1 | gnunet-set-profiler |
| 2 | gnunet-service-set | 2 | gnunet-service-set |
| 3 | gnunet-set-ibf-profiler | 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 | ||