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

Chris Ridd
22.10.2014 e349126d23ab22a1ef0640277bb672d63e6dd27b
opends/build.properties
@@ -1,2 +1,3 @@
opendmk.lib.dir=
license.file=
build.offline=false