[Bug 530254] Package mime-type information for Coq files

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=530254

--- Comment #11 from Jerry James <loganjerry at gmail.com> 2011-04-04 13:37:40 EDT ---
Whoops!  That's the trouble with learning by example.  I forgot to change that
line from the example I copied. <*blush*>

Okay, I'll fix those two things and we can try this again.  Thanks for spotting
the bugs, Matt.

-- 
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.