mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c5fa75 | patch | commitdiff
Mark Craig
10.38.2015 fb877f4552a609c3f5095061c461baecfe678a39
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, September 10, 2015 08:38 +0200
committer Mark Craig <mark.craig@forgerock.com>
Thursday, September 10, 2015 08:38 +0200
commitfb877f4552a609c3f5095061c461baecfe678a39
tree 2bdbef84fd81eb4ca2656301fd4b5aca0520d87e tree | zip | gz
parent c5fa752211a55cc75099f206823d0ae95572c732 view | diff 
Test doc tools 3.1.0

This patch updates the doc tools version to 3.1.0-SNAPSHOT.
1 files modified
2 ■■■■■ changed files
opendj-sdk/pom.xml 2 ●●●●● diff | view | raw | blame | history