mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 90aaef | patch | commitdiff
Mark Craig
15.59.2014 114d4e38ff6c0b1c54f6b103e6aa4cdfe6e25ad3
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 16:59 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 16:59 +0200
commit114d4e38ff6c0b1c54f6b103e6aa4cdfe6e25ad3
tree 9ae7e9ee7e10c2f1c06e52541ddc87ba54277919 tree | zip | gz
parent 90aaef2b6d37f8306e65c19a186c1a375ef62ad0 view | diff 
DOCS-221: Update doc build tools version
1 files modified
2 ■■■■■ changed files
pom.xml 2 ●●●●● diff | view | raw | blame | history