diff options
-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 | ||