mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4f4948 | patch | commitdiff
Mark Craig
04.22.2014 ccaf4c6dd011e8ba61c33f1d5d3dd1d98dc65fb5
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
commitccaf4c6dd011e8ba61c33f1d5d3dd1d98dc65fb5
tree dd072f5e64eda86d9ec066a9086982b361984c10 tree | zip | gz
parent 4f4948ee52a68b9efe6bb4584bc95f9f25b0fa5c view | diff 
Workaround for OPENDJ-1394: Admin guide hangs PDF build
1 files modified
1 ■■■■■ changed files
opendj3-server-dev/pom.xml 1 ●●●●● diff | view | raw | blame | history