From 98f23256d68901a3c4efc0a99c9da2f817ee7652 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 29 Mar 2006 07:56:31 +0000 Subject: [PATCH] NEdit highlighting file doesn't need to be version dependent. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@43 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/{prism-2.1.dev.pats => prism.pats} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename prism/etc/{prism-2.1.dev.pats => prism.pats} (100%) diff --git a/prism/etc/prism-2.1.dev.pats b/prism/etc/prism.pats similarity index 100% rename from prism/etc/prism-2.1.dev.pats rename to prism/etc/prism.pats