mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5c0f0d71 | patch | commit | show whitespace
Matthew Swift
21.09.2012 eb46bdb990d64e9344dbc67a30643e9cdeccf655 
Revert build.properties accidentally committed in previous commit.
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


opendmk.lib.dir=