mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 779f8b | patch | commitdiff
Mark Craig
04.23.2014 ac8256584968b30eedca3c3a3cf796720d25f25d
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 17:23 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 17:23 +0200
commitac8256584968b30eedca3c3a3cf796720d25f25d
tree 5dcd16d983eec970cbadc799e4db663f8addab20 tree | zip | gz
parent 779f8bd20a9aa3a0fb99a5e12ecdd96131341b38 view | diff 
Workaround for OPENDJ-1394: Admin guide hangs PDF build
1 files modified
1 ■■■■■ changed files
opendj-sdk/pom.xml 1 ●●●●● diff | view | raw | blame | history