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


@@ -1,2 +1,4 @@


opendmk.lib.dir=