mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b30bd0 | patch | commitdiff
Mark Craig
04.51.2014 214957f5db45ec74277707babad58d9b548cdb90
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 18:51 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, April 4, 2014 18:51 +0200
commit214957f5db45ec74277707babad58d9b548cdb90
tree 2e3a7b57689609044a92a38f1bd0a6faa0d1b737 tree | zip | gz
parent b30bd049dedf79de7886dc7bc88b7b7d16cbb919 view | diff 
Workaround for OPENDJ-1394: Admin guide hangs PDF build
1 files modified
1 ■■■■■ changed files
opends/pom.xml 1 ●●●●● diff | view | raw | blame | history