gnunet

commit 0ea3761a54747bf335523af0c2440a37a881c71b
parent 6675d54d7cc854d084418c6b25ca9231d57e084f
Author: Christian Grothoff <christian@grothoff.org>
Date:   Thu, 12 Jan 2023 14:07:39 +0100

packaging: include gnunet-uri.desktop in Debian package

Diffstat:
M
debian/gnunet.install
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/debian/gnunet.install b/debian/gnunet.install
@@ -3,6 +3,7 @@ usr/bin/
 usr/lib/*/gnunet/libexec/gnunet-cmds-helper
 usr/lib/*/gnunet/
 usr/lib/*/*.so.*
+usr/share/applications/gnunet-uri.desktop
 usr/share/man/
 usr/share/info/
 usr/share/doc/gnunet/