From e9c4f2c1109798f824d6be65e531aaceb8745c17 Mon Sep 17 00:00:00 2001 From: Dale Anson Date: Tue, 1 Apr 2008 13:46:43 +0000 Subject: [PATCH] bumped version number to 2.9 git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@5947 51baf565-9d33-0410-a72c-fc3788e3496d --- pmd-jedit/PMDPlugin/pmd.props | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pmd-jedit/PMDPlugin/pmd.props b/pmd-jedit/PMDPlugin/pmd.props index 1237d882b9..6103047d55 100644 --- a/pmd-jedit/PMDPlugin/pmd.props +++ b/pmd-jedit/PMDPlugin/pmd.props @@ -3,7 +3,7 @@ # plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.name=PMDPlugin plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.author=Jiger Patel, Tom Copeland, Alan Ezust, Dale Anson -plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=2.8 +plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=2.9 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.5 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.03.03.00 @@ -15,7 +15,7 @@ plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.description=The PMD plugin is a # #New jEdit 4.2 properties -plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.activate=startup +plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.activate=defer plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.menu.label=$PMD