diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-01-01 15:22:31 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-01-01 15:30:04 +0100 |
commit | bdc122cd8c4b27ad06971fe441ce5a45b8863560 (patch) | |
tree | c2bf026baed200424f4e02cd5b9170695d665292 /src/rps/.gitignore | |
parent | 4b766fd267ca83a8faa4e22353d5942074d6f2b7 (diff) | |
download | gnunet-bdc122cd8c4b27ad06971fe441ce5a45b8863560.tar.gz gnunet-bdc122cd8c4b27ad06971fe441ce5a45b8863560.zip |
update .gitignore
Diffstat (limited to 'src/rps/.gitignore')
-rw-r--r-- | src/rps/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rps/.gitignore b/src/rps/.gitignore index c8068912b..cb14f5b09 100644 --- a/src/rps/.gitignore +++ b/src/rps/.gitignore | |||
@@ -12,3 +12,4 @@ test_service_rps_custommap | |||
12 | test_service_rps_sampler_elem | 12 | test_service_rps_sampler_elem |
13 | test_service_rps_view | 13 | test_service_rps_view |
14 | test_rps_churn | 14 | test_rps_churn |
15 | test_service_rps_peers | ||