mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: f0b047 | patch | commitdiff
Mark Craig
25.43.2014 368b78bc3878e1d86c686a43193cf45161b0cd4a
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
commit368b78bc3878e1d86c686a43193cf45161b0cd4a
tree 7c9e877929e885c98bf024a817f0990878e1d2ac tree | zip | gz
parent f0b0476e9b7d6a682c6acbe2d2a2f8df7052ebb5 view | diff 
Update to the latest doc build tools release
1 files modified
2 ■■■■■ changed files
opendj-sdk/pom.xml 2 ●●●●● diff | view | raw | blame | history