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


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


opendmk.lib.dir=


pkg.toolkit.dir=