mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 881e6c4d | patch | commit | ignore whitespace
Matthew Swift
20.22.2012 b5c549a5ddf3c946b17a377d15903e2654b9e875 
Revert previous opendmk property change...grrrr....
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/build.properties 2 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opends/build.properties


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


# opendmk.lib.dir=


opendmk.lib.dir=