mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
chebrard
02.40.2009 b93421949d966358137e65e4a43bdcfb2d69cf58 
 opends/build.properties


@@ -1,4 +1,5 @@


opendmk.lib.dir=


pkg.toolkit.dir=