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@xxxxxxxxx ReportedBy: matt@xxxxxxxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: amdunn@xxxxxxxxx, fedora-ocaml-list@xxxxxxxxxx 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. _______________________________________________ Fedora-ocaml-list mailing list Fedora-ocaml-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
