mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5048b4 | patch | commitdiff
Mark Craig
20.39.2012 5ef0320f36bc00989ea50aaa55657321d7f99d0c
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, November 20, 2012 09:39 +0100
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, November 20, 2012 09:39 +0100
commit5ef0320f36bc00989ea50aaa55657321d7f99d0c
tree 9caba0fae8b1099b948e3c37620969a86cd83d64 tree | zip | gz
parent 5048b45265f5316b7d1919af687ce493bbcae141 view | diff 
Revert r8334, as the problem seems to be reproduceable as described in OPENDJ-651
1 files modified
1 ■■■■■ changed files
opends/build.xml 1 ●●●●● diff | view | raw | blame | history