mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 73cb4335 | patch | commit | show whitespace
Chris Ridd
22.24.2014 8de8a164a4fe30820564ae7c88cb9f873b1e2acf 
Remove accidental change to build.properties
1 files modified
1 ■■■■■ changed files
opendj-sdk/opends/build.properties 1 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opends/build.properties


@@ -1,3 +1,2 @@


opendmk.lib.dir=


license.file=


build.offline=false