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


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


# opendmk.lib.dir=


opendmk.lib.dir=