From 1960b2b346d3f6fe8a99fe45b771cdf5070b49f3 Mon Sep 17 00:00:00 2001 From: Jiger Patel Date: Thu, 26 Jun 2003 03:13:58 +0000 Subject: [PATCH] Changed jedit.home to jedit.install.dir and plugin install dir to install.dir on request of Ollie Rutherford git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@2039 51baf565-9d33-0410-a72c-fc3788e3496d --- pmd-jedit/etc/build.xml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pmd-jedit/etc/build.xml b/pmd-jedit/etc/build.xml index ef77dcf394..fd081c9a0e 100644 --- a/pmd-jedit/etc/build.xml +++ b/pmd-jedit/etc/build.xml @@ -6,14 +6,14 @@ - - - + + + - + @@ -29,7 +29,6 @@ - + @@ -54,7 +54,7 @@ - +