diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-10-27 16:08:13 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-10-27 16:08:13 +0000 |
commit | b0be856d45eb9179f48426e8a5c95acd86dc5767 (patch) | |
tree | b2b99cf64971eb297062deecc82342bc0795b8d6 /po | |
parent | 65d9fdbb598c57f5de4ab08ee7f1382a80a1a936 (diff) |
-pot-update
Diffstat (limited to 'po')
-rw-r--r-- | po/POTFILES.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index 9e5cbfbe0..afe2b47b3 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -312,6 +312,7 @@ src/set/gnunet-service-set_union_strata_estimator.c src/set/gnunet-set-ibf-profiler.c src/set/gnunet-set-profiler.c src/set/ibf.c +src/set/ibf_sim.c src/set/set_api.c src/social/gnunet-service-social.c src/social/social_api.c |