dd74bac * Mon Apr 4 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-2

Authored and Committed by jjames 12 years ago
    * Mon Apr  4 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-2
    - Change the mime type to application/x-coq, and inherit from text/plain
      (bz 530254)
    
        
file modified
+7 -3
coq.xml coqide.xml
file renamed
+2 -2
file modified
+1 -1