[jabref] 450/459: drop .menu file; jabref ships a .desktop file

gregor herrmann gregoa at debian.org
Thu Sep 15 20:41:39 UTC 2016


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

gregoa pushed a commit to branch master
in repository jabref.

commit f637567d46c11eed2c1893b3244ddcd9d2617047
Author: tony mancill <tmancill at debian.org>
Date:   Mon Oct 19 20:46:04 2015 -0700

    drop .menu file; jabref ships a .desktop file
---
 debian/jabref.menu | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/debian/jabref.menu b/debian/jabref.menu
deleted file mode 100644
index 35681a9..0000000
--- a/debian/jabref.menu
+++ /dev/null
@@ -1,7 +0,0 @@
-?package(jabref):needs="x11"  \
-section="Applications/Data Management" \
-title="JabRef" \
-command="jabref" \
-icon="/usr/share/pixmaps/jabref32.xpm" \
-icon32x32="/usr/share/pixmaps/jabref32.xpm" \
-icon16x16="/usr/share/pixmaps/jabref16.xpm"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git



More information about the pkg-java-commits mailing list