mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 621ada | patch | commitdiff
Mark Craig
10.38.2015 f411ab96eb238fd6698142cb9aa78952ce829c38
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
commitf411ab96eb238fd6698142cb9aa78952ce829c38
tree 35cb06460efd0335ac4d5ba7436e2188a859bcd7 tree | zip | gz
parent 621ada356c4bd6c640f7a185148ea03b835725bd 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
pom.xml 2 ●●●●● diff | view | raw | blame | history