diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 80ef74250..1f1cfa486 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -435,6 +435,7 @@ | |||
435 | /src/datastore/.deps | 435 | /src/datastore/.deps |
436 | 436 | ||
437 | # /src/dht/ | 437 | # /src/dht/ |
438 | /src/dht/gnunet-dht-profiler | ||
438 | /src/dht/gnunet-service-dht-xvine | 439 | /src/dht/gnunet-service-dht-xvine |
439 | /src/dht/libgnunetdhttest.a | 440 | /src/dht/libgnunetdhttest.a |
440 | /src/dht/test_dht_tools.py | 441 | /src/dht/test_dht_tools.py |