mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ad538a46 | patch | commit | show whitespace
jvergara
31.03.2009 8c66f44bf8c1109bcef38f68d93f852eac6c5247 
Un-commit the last changes made to this file.
1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● patch | view | raw | blame | history 
 opends/build.xml


@@ -32,7 +32,7 @@


  </description>




  <!-- Build JVM properties -->


  <property name="MEM" value="768M"/>


  <property name="MEM" value="256M"/>




  <!-- Build OpenDMK properties -->


  <property file="build.properties"/>