Bug#383310: coqide .desktop fixes

To: Samuel Mimram <samuel.mimram@ens-lyon.org>, 383310@bugs.debian.org
Subject: Bug#383310: coqide .desktop fixes
From: Vassilis Pandis <pandisv@yahoo.co.uk>
Date: Wed, 16 Aug 2006 16:02:37 +0100 (BST)
Message-id: <[🔎] 20060816150237.27455.qmail@web25004.mail.ukl.yahoo.com>
Reply-to: Vassilis Pandis <pandisv@yahoo.co.uk>, 383310@bugs.debian.org
In-reply-to: <[🔎] 44E3258C.7060006@ens-lyon.org>

Thanks and sorry for the noise. I guess I should have checked the debian package more thorougly.


		
___________________________________________________________ 
Inbox full of spam? Get leading spam protection and 1GB storage with All New Yahoo! Mail. http://uk.docs.yahoo.com/nowyoucan.html

Reply to:

References:
- Bug#383310: coqide .desktop fixes
  - From: Samuel Mimram <samuel.mimram@ens-lyon.org>

Prev by Date: Bug#383310: coqide .desktop fixes
Next by Date: mldonkey_2.7.7-7_i386.changes ACCEPTED
Previous by thread: Bug#383310: coqide .desktop fixes
Next by thread: Processed: tagging 378831
Index(es):
- Date
- Thread