mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6abdd9 | patch | commitdiff
Mark Craig
04.22.2014 779f8bd20a9aa3a0fb99a5e12ecdd96131341b38
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 17:22 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 17:22 +0200
commit779f8bd20a9aa3a0fb99a5e12ecdd96131341b38
tree c9fb7cec5b749f6003de3f522e3dc61acff1d205 tree | zip | gz
parent 6abdd971644f7cb90921078e1b5d05b77f1b0653 view | diff 
Workaround for OPENDJ-1394: Admin guide hangs PDF build
1 files modified
1 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 1 ●●●●● diff | view | raw | blame | history