mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

neil_a_wilson
01.33.2007 1c4551736a71ffd86678616939e1780fe8e303a1
opends/build.xml
@@ -205,7 +205,8 @@
    </path>
    <tstamp>
      <format property="timestamp" pattern="yyyyMMddHHmmss" />
      <format property="timestamp" pattern="yyyyMMddHHmmss'Z'"
           timezone="UTC" />
    </tstamp>
    <condition property="DEBUG_BUILD" value="false">