From ff3f011ccdbbebf42180805020ce1daba68e40c9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Apr 2007 15:10:01 +0000
Subject: [PATCH] Update to PRISM+Gnome file associations.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@287 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/Overrides.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/prism/etc/Overrides.xml b/prism/etc/Overrides.xml
index 0d76c20a..e20477fa 100644
--- a/prism/etc/Overrides.xml
+++ b/prism/etc/Overrides.xml
@@ -4,6 +4,9 @@
 <!-- Save the file as ~/.local/share/mime/packages/Overrides.xml and then run: -->
 <!--   update-mime-database ~/.local/share/mime -->
 
+<!-- Please note that this overrides the association of .pm file with Perl files -->
+<!-- If you do not want this, then comment out the .pm line below -->
+
 <mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
   <mime-type type="text/x-prism">
     <comment>PRISM file</comment>