mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
ludovicp
23.37.2009 c7eacc5d010a2a653cf2534b740d15292067dd0f 
 opends/build.properties


@@ -1,5 +1,2 @@


opendmk.lib.dir=


pkg.toolkit.dir=