[GNUnet-SVN] [gnunet] branch master updated: remove dead file

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new e532e871c remove dead file
e532e871c is described below

commit e532e871ca89b8a78700756fef1284de15f479c8
Author: Christian Grothoff <address@hidden>
AuthorDate: Wed Jun 13 18:09:02 2018 +0200

    remove dead file
---
 po/POTFILES.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/po/POTFILES.in b/po/POTFILES.in
index dd9966302..28f51f366 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -460,7 +460,6 @@ src/util/container_multihashmap.c
 src/util/container_multipeermap.c
 src/util/container_multishortmap.c
 src/util/crypto_abe.c
-src/util/crypto_bug.c
 src/util/crypto_crc.c
 src/util/crypto_ecc.c
 src/util/crypto_ecc_dlog.c

-- 
To stop receiving notification emails like this one, please contact
address@hidden