mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7157e4 | patch | commitdiff
Mark Craig
15.39.2014 39527876b9f6649e1625ea8f44f1dd35aef2dd24
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 14:39 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 14:39 +0200
commit39527876b9f6649e1625ea8f44f1dd35aef2dd24
tree cf3f281e9b09f521506f95eb754ec4f898ba60bf tree | zip | gz
parent 7157e4f1aceaf036f1a7d8fc10251a4460d91bb9 view | diff 
DOCS-221: Update doc build tools
1 files modified
2 ■■■■■ changed files
opends/pom.xml 2 ●●●●● diff | view | raw | blame | history