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

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

diff --git a/prism/etc/prism.lang b/prism/etc/prism.lang
index 8b0c985e..ee96836e 100644
--- a/prism/etc/prism.lang
+++ b/prism/etc/prism.lang
@@ -5,6 +5,8 @@
 <!-- Save this file in ~/.gnome2/gtksourceview-1.0/language-specs/ -->
 <!-- After a restart of Gnome, "PRISM" should appear as a highlight mode under "Others" -->
 
+<!-- See the file Overrides.xml for info about adding MIME types under Gnome -->
+
 <language _name="PRISM" version="1.0" _section="Others" mimetypes="text/x-prism">
 
 	<line-comment _name = "Line Comment" style= "Comment">