From de7f9c07c31fde065a46969150955323a0254dd1 Mon Sep 17 00:00:00 2001 From: Jiger Patel Date: Thu, 22 Jun 2006 05:59:54 +0000 Subject: [PATCH] Updated to PMD 3.7 git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@4433 51baf565-9d33-0410-a72c-fc3788e3496d --- pmd-jedit/PMDPlugin/pmd.props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pmd-jedit/PMDPlugin/pmd.props b/pmd-jedit/PMDPlugin/pmd.props index 3937277393..4b66182708 100644 --- a/pmd-jedit/PMDPlugin/pmd.props +++ b/pmd-jedit/PMDPlugin/pmd.props @@ -8,7 +8,7 @@ plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.4 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.03.03.00 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.2=plugin errorlist.ErrorListPlugin 1.3.2 -plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-3.5.jar jaxen-1.1-beta-7.jar jakarta-oro-2.0.8.jar pmd-swingui-0.1.jar +plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-3.7.jar jaxen-1.1-beta-7.jar jakarta-oro-2.0.8.jar pmd-swingui-0.1.jar # # Menu properties