mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 301e7a | patch | commitdiff
Mark Craig
25.43.2014 bb4480f5cd511602a88ea2ad9d3ef7c3439a0e9f
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, June 25, 2014 08:43 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, June 25, 2014 08:43 +0200
commitbb4480f5cd511602a88ea2ad9d3ef7c3439a0e9f
tree 1e52e7dc82f0a132ef7ce8e83b5fda3e44bbd844 tree | zip | gz
parent 301e7a4a547ae288ffd6aa4d7cac3b6ec75821d9 view | diff 
Update to the latest doc build tools release
1 files modified
2 ■■■■■ changed files
pom.xml 2 ●●●●● diff | view | raw | blame | history