mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1c4d8575 | patch | commit | ignore whitespace
Chris Ridd
22.24.2014 9fe2ca898c3a22da75b561f4a12d009400c2f321 
Remove accidental change to build.properties
1 files modified
1 ■■■■■ changed files
opends/build.properties 1 ●●●●● patch | view | raw | blame | history 
 opends/build.properties


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


opendmk.lib.dir=


license.file=


build.offline=false