Subject: wxmaxima: missing menu icon
Package: wxmaxima
Followup-For: Bug #428820
tags 428820 patch
subscribe 428820 [EMAIL PROTECTED]
thanks
The following patch fixes Bug#428820
--- wxmaxima-0.7.1/debian/wxmaxima.menu 2008-11-01 19:48:40.0 -0300
+++
tags 428820 patch
thanks
The following patch fixes Bug#428820
--- wxmaxima-0.7.1/debian/wxmaxima.menu 2008-11-01 19:48:40.0
-0300
+++ wxmaxima-0.7.1.new/debian/wxmaxima.menu 2008-11-01
19:49:30.0 -0
300
@@ -1,7 +1,6 @@
?package(wxmaxima):\
needs=X11 \
-
Subject: wxmaxima: missing menu icon
Package: wxmaxima
Version: 0.7.1-1
Severity: minor
I know that is not a big problem, but wxMaxima has no icon in the Gnome
menu.
-- System Information:
Debian Release: lenny/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
3 matches
Mail list logo