summaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2018-07-02 12:48:05 +0200
committerJulius Bünger <buenger@mytum.de>2018-07-02 12:49:16 +0200
commitbb3371542e3c1fff2c4abb4d2ba3decf925b4352 (patch)
tree0af399e4100dcc93f16d192936ed91b5982ea25e /po
parent76cba102f24b8d6e356b36e63474cd6896a082aa (diff)
rps service: set delete flags on channel properly
Diffstat (limited to 'po')
-rw-r--r--po/POTFILES.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 38fa52508..8a95064a6 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -325,6 +325,7 @@ src/rps/gnunet-service-rps_sampler.c
src/rps/gnunet-service-rps_sampler_elem.c
src/rps/gnunet-service-rps_view.c
src/rps/rps_api.c
+src/rps/rps_test_lib.c
src/rps/rps-test_util.c
src/scalarproduct/gnunet-scalarproduct.c
src/scalarproduct/gnunet-service-scalarproduct_alice.c