mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e366f3dd | patch | commit | ignore whitespace
matthew_swift
20.17.2010 1dac18d0eb1f6e51e0fc6f26fe6a41932470f7f1 
Fix find/replace collateral damage in previous commit...

1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● patch | view | raw | blame | history 
 opends/build.xml


@@ -352,7 +352,7 @@




    <property name="min.java.version" value="1.5.0_08" />




    <typedef name="validdisplayjavaversion"


    <typedef name="validjavaversion"


             classname="org.opends.build.tools.ValidJavaVersion" >


      <classpath>


        <fileset dir="${build.dir}/build-tools">