mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c11b3a | patch | commitdiff
Mark Craig
02.41.2014 729c3173bcaf0e195dedbb9c6fcc1f2be786004b
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, September 2, 2014 07:41 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, September 2, 2014 07:41 +0200
commit729c3173bcaf0e195dedbb9c6fcc1f2be786004b
tree c811e2126ff7e2d34f2daf21452e403cc1073df3 tree | zip | gz
parent c11b3a5611e1a431e62c6cfa23b881a5fdbb62b9 view | diff 
Update to latest version of the doc build tools
1 files modified
2 ■■■■■ changed files
opendj-sdk/pom.xml 2 ●●●●● diff | view | raw | blame | history