Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Package mime-type information for Coq files
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Summary: Package mime-type information for Coq files
Product: Fedora
Version: 11
Platform: All
OS/Version: Linux
Status: NEW
Severity: low
Priority: low
Component: coq
AssignedTo: amdunn(a)gmail.com
ReportedBy: matt(a)mattmccutchen.net
QAContact: extras-qa(a)fedoraproject.org
CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com
Classification: Fedora
Created an attachment (id=365637)
--> (
https://bugzilla.redhat.com/attachment.cgi?id=365637)
Draft mime-type information
Description of problem:
It might be nice to package some mime-type information for Coq files as a step
toward making them xdg-openable in coqide or Proof General.
Version-Release number of selected component (if applicable):
coq-8.2-1.fc11.x86_64
--
Configure bugmail:
https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.