mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 38f27c | patch | commitdiff
Mark Craig
20.39.2012 118305a3a58ccb4159bbd1d28a96a94a058b65f1
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
commit118305a3a58ccb4159bbd1d28a96a94a058b65f1
tree 00fda993f381813f885698299879646ae59b57fc tree | zip | gz
parent 38f27c6469ef98658bd32aeef001005fdf5d568e view | diff 
Revert r8334, as the problem seems to be reproduceable as described in OPENDJ-651
1 files modified
1 ■■■■■ changed files
opendj-sdk/opends/build.xml 1 ●●●●● diff | view | raw | blame | history