[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: packaging: include gnunet-uri.desktop in
From: |
gnunet |
Subject: |
[gnunet] branch master updated: packaging: include gnunet-uri.desktop in Debian package |
Date: |
Thu, 12 Jan 2023 14:07:42 +0100 |
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 0ea3761a5 packaging: include gnunet-uri.desktop in Debian package
0ea3761a5 is described below
commit 0ea3761a54747bf335523af0c2440a37a881c71b
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Thu Jan 12 14:07:39 2023 +0100
packaging: include gnunet-uri.desktop in Debian package
---
debian/gnunet.install | 1 +
1 file changed, 1 insertion(+)
diff --git a/debian/gnunet.install b/debian/gnunet.install
index d3160c6fb..1776032db 100644
--- 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/
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: packaging: include gnunet-uri.desktop in Debian package,
gnunet <=