Upgraded to PMD 1.2 and Incremented jEdit plugin version to 2.2
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@2140 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
@ -3,12 +3,12 @@
|
||||
#
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.name=PMD
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.author=Jiger Patel, Tom Copeland
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=2.1
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=2.2
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.3
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.00.99.00
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.2=plugin errorlist.ErrorListPlugin 1.2
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-1.1.jar jaxen-core-1.0-fcs.jar saxpath-1.0-fcs.jar pmd-swingui-0.1.jar
|
||||
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-1.2.jar jaxen-core-1.0-fcs.jar saxpath-1.0-fcs.jar pmd-swingui-0.1.jar
|
||||
|
||||
#
|
||||
# Menu properties
|
||||
|
@ -4,9 +4,9 @@
|
||||
<property name="src" value="src/"/>
|
||||
<property name="lib" value="lib/"/>
|
||||
<property name="build" value="build/"/>
|
||||
<property name="pmdjar" value="pmd-1.1.jar"/>
|
||||
<property name="pluginversion" value="2.1"/>
|
||||
<property name="jedit.install.dir" value="c:\Program Files\jEdit 4.1"/>
|
||||
<property name="pmdjar" value="pmd-1.2.jar"/>
|
||||
<property name="pluginversion" value="2.2"/>
|
||||
<property name="jedit.install.dir" value="c:\Program Files\jEdit 4.1pre9"/>
|
||||
<property name="jedit.jars.dir" value="${jedit.install.dir}\jars"/>
|
||||
<property name="install.dir" value="${jedit.jars.dir}"/>
|
||||
|
||||
|
Reference in New Issue
Block a user